dist: build new version

korthout · Aug 21, 2024 · 0dd861c · 0dd861c
1 parent cacb018
commit 0dd861c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/dist/index.js b/dist/index.js
@@ -94,10 +94,6 @@ class Backport {
                     : workflowRepo;
                 if (repo === undefined)
                     throw new Error("No repository defined!");
-                if (this.config.source_pr_number !== undefined &&
-                    this.github.getEventName() !== "workflow_dispatch") {
-                    throw new Error("source_pr_number can only be specified for workflow_dispatch events!");
-                }
                 const pull_number = this.config.source_pr_number === undefined
                     ? this.github.getPullNumber()
                     : this.config.source_pr_number;

diff --git a/dist/index.js.map b/dist/index.js.map