Merge branch 'main' into main

2023-03-08 18:10:37 -05:00
parent 5e6bdf6d89 ba790c862c
commit 84e83a9b19
7 changed files with 33 additions and 42 deletions
@@ -18,7 +18,7 @@ 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});