diff options
-rw-r--r-- | .github/main.workflow | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.github/main.workflow b/.github/main.workflow deleted file mode 100644 index 5a999cfb84..0000000000 --- a/.github/main.workflow +++ /dev/null @@ -1,9 +0,0 @@ -workflow "New workflow" { - on = "pull_request" - resolves = [".github/actions/add-maintainers-as-reviewers"] -} - -action ".github/actions/add-maintainers-as-reviewers" { - uses = ".github/actions/add-maintainers-as-reviewers" - secrets = ["GITHUB_TOKEN"] -} |