ci: support /fast-forward in PR review comment

This commit is contained in:
LY 2024-02-07 11:33:14 +08:00 committed by CuteDress
parent 7f3a641724
commit 1c7a79f719
No known key found for this signature in database
GPG Key ID: 877794A207ED243F

View File

@ -2,12 +2,16 @@ name: fast-forward for PR
# GitHub doesn't support fast-forward merge of PR,
# which causes GPG signatures overriden by GitHub's key.
# This workflow allows maintainers to do a fast-forward merge
# by replying `/fast-forward` to the PR.
# by replying anything containing `/fast-forward` to the PR.
#
# Contributors must first rebase onto the latest commit before PR to make fast-forward possible.
on:
# issue / PR comment
issue_comment:
types: [created, edited]
# PR comment in review
pull_request_review_comment:
types: [created, edited]
jobs:
fast-forward:
if: ${{ contains(github.event.comment.body, '/fast-forward')