for example, we want to override a property with NO PROPERTY, like here we want to ignore session
/* typal node_modules/@idio/github/types/index.xml namespace ignore:_goa.Middleware,_idio.Context */
/**
* @typedef {_idio.GithubOAuthConfig} GithubOAuthConfig `＠record` Options for the program.
* @typedef {Object} _idio.GithubOAuthConfig `＠record` Options for the program.
* @prop {string} client_id The app's client id.
* @prop {string} client_secret The app's client secret.
* @prop {string} [path="/auth/github"] The server path to start the login flaw at and use for redirect (`${path}/redirect`). Default `/auth/github`.
* @prop {string} [scope] The scope to ask permissions for. No scope by default.
* @prop {!_goa.Middleware} [session] The configured session middleware in case the `session` property is not globally available on the context.
* @prop {(ctx: _idio.Context, token: string, scope: string, user: !_idio.GithubUser, next: function()) => !Promise} [finish="setSession; redirect;"] The function to complete the authentication that receives the token and the data about the user, such as name and id. The default function redirects to `/`. Default `setSession; redirect;`.
* @prop {(ctx: !_idio.Context, error: string, description: string, next: function()) => !Promise} [error="throw;"] The function to be called in case of error. If not specified, the middleware will throw an internal server error. Default `throw;`.
*/
for example, we want to override a property with NO PROPERTY, like here we want to ignore
session