Merge branch 'main' into dot-option

This commit is contained in:
Alexander Kachkaev
2023-03-12 22:13:26 +00:00
committed by GitHub
19 changed files with 2284 additions and 75 deletions

View File

@@ -13,14 +13,14 @@ type ClientType = ReturnType<typeof github.getOctokit>;
export async function run() {
try {
const token = core.getInput('repo-token', {required: true});
const token = core.getInput('repo-token');
const configPath = core.getInput('configuration-path', {required: true});
const syncLabels = !!core.getInput('sync-labels', {required: false});
const dot = !!core.getInput('dot', {required: false});
const prNumber = getPrNumber();
if (!prNumber) {
console.log('Could not get pull request number from context, exiting');
core.info('Could not get pull request number from context, exiting');
return;
}