in github-projects/map-labels/index.js [100:109]
owner: getInputOrUndefined('owner'),
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) {