diff options
author | Takashi Kokubun <takashikkbn@gmail.com> | 2021-02-22 23:38:44 -0800 |
---|---|---|
committer | Takashi Kokubun <takashikkbn@gmail.com> | 2021-02-22 23:45:04 -0800 |
commit | 95251dc8a9dd76ab1117812f932e77c8230d5a13 (patch) | |
tree | 209e0da2dfead08468314f42512aa4821f79e7d9 /.github/workflows | |
parent | 0d76636117c99921ac7c43293ba7962d22e72fbd (diff) | |
download | ruby-95251dc8a9dd76ab1117812f932e77c8230d5a13.tar.gz |
Drop check_branch CI job
Now that GitHub Actions always skips any job if [ci skip] is given
regardless of our CI config, we cannot merge such PRs like https://github.com/ruby/ruby/pull/4211
unless you're an admin.
https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/
To avoid letting us spend time to ask contributors to remove [ci skip]
before merging PRs, I removed the "check_branch" requirement from
protected branches.
Because the main purpose of this job was to prevent (non-admin)
committers from directly pushing commits to the GitHub mirror, this job
is now useless.
Diffstat (limited to '.github/workflows')
-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 }} |