diff options
author | NARUSE, Yui <naruse@airemix.jp> | 2021-01-14 15:08:19 +0900 |
---|---|---|
committer | NARUSE, Yui <naruse@airemix.jp> | 2021-01-24 18:33:20 +0900 |
commit | 1ce4e90dc748057339bd0a5523d23c7619f5a12c (patch) | |
tree | d091bd31896ed1ec79b578dbdce48ce623768815 | |
parent | c721998a5c5b5aba27d4678db1e8fa4bcdf10970 (diff) |
Remove check branch from ruby_3_0
-rw-r--r-- | .github/workflows/check_branch.yml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/.github/workflows/check_branch.yml b/.github/workflows/check_branch.yml deleted file mode 100644 index 37cf3a9a8f..0000000000 --- a/.github/workflows/check_branch.yml +++ /dev/null @@ -1,22 +0,0 @@ -# We bidirectionally synchronize github.com/ruby/ruby.git's master branch and -# git.ruby-lang.org/ruby.git's master branch. -# We can use a pull request's merge button only on the master branch. -# -# Therefore, we require to pass this "check_branch" on all protected branches -# to prevent us from accidentally pushing commits to GitHub directly. -# -# Details: https://bugs.ruby-lang.org/issues/16094 -name: Pull Request -on: [pull_request] -jobs: - check_branch: - runs-on: ubuntu-latest - steps: - - name: Check if branch is master - run: | - if [ "$BASE_REF" != master ]; then - echo "Only master branch accepts a pull request, but it's '$BASE_REF'." - exit 1 - fi - env: - BASE_REF: ${{ github.base_ref }} |