8000 Merge pull request #41 from Shopify/ujit-pr-safety · github/ruby@a5397d5 · GitHub
[go: up one dir, main page]

Skip to content

Commit a5397d5

Browse files
authored
Merge pull request #41 from Shopify/ujit-pr-safety
Change check_branch workflow to check for PRs to microjit
2 parents ccbd238 + 48fea83 commit a5397d5

File tree

1 file changed

+4
-11
lines changed

1 file changed

+4
-11
lines changed

.github/workflows/check_branch.yml

Lines changed: 4 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,14 @@
1-
# We bidirectionally synchronize github.com/ruby/ruby.git's master branch and
2-
# git.ruby-lang.org/ruby.git's master branch.
3-
# We can use a pull request's merge button only on the master branch.
4-
#
5-
# Therefore, we require to pass this "check_branch" on all protected branches
6-
# to prevent us from accidentally pushing commits to GitHub directly.
7-
#
8-
# Details: https://bugs.ruby-lang.org/issues/16094
1+
# A safeguard for accidentally opening a PR against upstream Github repo.
92
name: Pull Request
103
on: [pull_request]
114
jobs:
125
check_branch:
136
runs-on: ubuntu-latest
147
steps:
15-
- name: Check if branch is master
8+
- name: Check if branch is microjit
169
run: |
17-
if [ "$BASE_REF" != master ]; then
18-
echo "Only master branch accepts a pull request, but it's '$BASE_REF'."
10+
if [ "$BASE_REF" != microjit ]; then
11+
echo "Only the microjit branch accepts pull requests, but it's '$BASE_REF'."
1912
exit 1
2013
fi
2114
env:

0 commit comments

Comments
 (0)
0