This is an automated email from the ASF dual-hosted git repository.
zeroshade pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/arrow-adbc.git
The following commit(s) were added to refs/heads/main by this push:
new 02aecca50 ci: disallow pings in PR body text (#1798)
02aecca50 is described below
commit 02aecca50a9792d6087076b9fe44856615de173b
Author: David Li <[email protected]>
AuthorDate: Tue Apr 30 23:55:04 2024 +0900
ci: disallow pings in PR body text (#1798)
Fixes #1739.
---
.github/workflows/dev_pr.yml | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/.github/workflows/dev_pr.yml b/.github/workflows/dev_pr.yml
index a001695cf..805677cfb 100644
--- a/.github/workflows/dev_pr.yml
+++ b/.github/workflows/dev_pr.yml
@@ -57,3 +57,11 @@ jobs:
PR_TITLE: ${{ github.event.pull_request.title }}
run: |
python .github/workflows/dev_pr/title_check.py $(pwd)/pr_checkout
"$PR_TITLE"
+
+ # Pings make it into the commit message where they annoy the user every
+ # time the commit gets pushed somewhere
+ - name: Check PR body for pings
+ env:
+ PR_BODY: ${{ github.event.pull_request.body }}
+ run: |
+ [[ "${PR_BODY}" =~ @[a-zA-Z0-9]+ ]] && exit 1 || true
