in github-projects/map-labels/index.ts [91:100]
repo: getInputOrUndefined('repo'),
projectNumber: getInputOrUndefined('project-number', parseInt),
issueNumber: getInputOrUndefined('issue-number', (v) => v.split(',').map((i) => parseInt(i))),
all: getInputOrUndefined('all', (v) => v === 'true'),
mapping: getInputOrUndefined('mapping'),
githubToken: getInputOrUndefined('github-token') || process.env.GITHUB_TOKEN,
dryRun: getInputOrUndefined('dry-run', (v) => v === 'true'),
};
function verifyExpectedArgs(args: ActionArgs): asserts args is {