| commit | b83565a1c3daa0597c9c247c44d86561909f58f1 | [log] [tgz] |
|---|---|---|
| author | Devon Carew <devoncarew@google.com> | Mon May 15 16:40:25 2023 +0000 |
| committer | Commit Queue <dart-scoped@luci-project-accounts.iam.gserviceaccount.com> | Mon May 15 17:38:16 2023 +0000 |
| tree | dfdb13c513aaaec22ceba48d9ab9ed1ab4a33d69 | |
| parent | cd2e8a67ad269b3666b53b77e07debfd56e2323b [diff] |
add a do-not-submit workflow Closes https://github.com/dart-lang/homebrew-dart/pull/143 GitOrigin-RevId: 1a826283717966e1d83abad4e959f5458d21d64d Change-Id: Idc35a93c1249379e57c9975676f5a4e899c109dc Reviewed-on: https://dart-review.googlesource.com/c/homebrew-dart/+/303402 Commit-Queue: Devon Carew <devoncarew@google.com> Reviewed-by: Alexander Thomas <athom@google.com>
diff --git a/.github/workflows/gerrit-reviewed.yml b/.github/workflows/gerrit-reviewed.yml new file mode 100644 index 0000000..07021a0 --- /dev/null +++ b/.github/workflows/gerrit-reviewed.yml
@@ -0,0 +1,16 @@ +# A workflow to prevent PRs from being submitted through the GitHub UI. + +name: Do Not Submit + +on: + pull_request: + branches: [main] + +jobs: + do-not-submit: + name: Gerrit reviewed + runs-on: ubuntu-latest + steps: + - run: | + echo "Do not submit this PR through github - this repo uses Gerrit for reviews." + exit 1