projectNumber: getInputOrUndefined()

in github-projects/map-labels/index.js [102:109]


    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) {