Merge remote-tracking branch 'u/main' into dot-option

This commit is contained in:
Alexander Kachkaev
2023-05-31 01:35:46 +01:00
6 changed files with 1215 additions and 1672 deletions

View File

@@ -15,7 +15,7 @@ export async function run() {
try {
const token = core.getInput('repo-token');
const configPath = core.getInput('configuration-path', {required: true});
const syncLabels = core.getBooleanInput('sync-labels');
const syncLabels = core.getBooleanInput('sync-labels', {required: false});
const dot = !!core.getBooleanInput('dot', {required: false});
const prNumber = getPrNumber();