07289d5c48
When combined with GitHub's "Require branches to be up to date before merging" setting, this forces semi-linear merging. This check can be disabled by adding the "pr-permit-nonlinear" label to the PR.
31 lines
989 B
YAML
31 lines
989 B
YAML
name: Pull Request
|
|
on:
|
|
pull_request:
|
|
types:
|
|
- labeled
|
|
- opened
|
|
- reopened
|
|
- synchronize
|
|
- unlabeled
|
|
|
|
jobs:
|
|
linear-history:
|
|
if: ${{ !contains(github.event.pull_request.labels.*.name, 'pr-permit-nonlinear') }}
|
|
name: Linear History
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
fetch-depth: 0
|
|
- name: No new merge commits
|
|
run: |
|
|
log() { printf %s\\n "$*" >&2; }
|
|
error() { log "ERROR: $@"; }
|
|
fatal() { error "$@"; exit 1; }
|
|
try() { log "Running command $@"; "$@" || fatal "'$@' failed"; }
|
|
out=$(try git rev-list -n 1 --merges '${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}') || exit 1
|
|
[ -z "${out}" ] || {
|
|
error "pull request includes a merge commit and does not have the 'pr-permit-nonlinear' label"
|
|
git show "${out}" >&2
|
|
exit 1
|
|
}
|