diff options
| author | Ed Maste <emaste@FreeBSD.org> | 2025-07-15 14:12:50 -0400 |
|---|---|---|
| committer | Ed Maste <emaste@FreeBSD.org> | 2025-07-16 10:34:20 -0400 |
| commit | f38ac6f27ace386d7e1d18cda6ffb8af5b20b598 (patch) | |
| tree | c27ce8386173216af3f3768c0faf7120fff131f1 /.github | |
| parent | 56eb7566c41902a14d4392f8a01c045dbde6de7e (diff) | |
GitHub: Provide more context in pull request issue comment
Be explicit that the user should update their branch and re-push to
update the pull request.
Reviewed by: imp
Sponsored by: The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D51332
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/checklist.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/checklist.yml b/.github/workflows/checklist.yml index f5c3ea599abf..7f7b0d51f46e 100644 --- a/.github/workflows/checklist.yml +++ b/.github/workflows/checklist.yml @@ -89,6 +89,7 @@ jobs: /* Loop for each key in "checklist". */ for (const c in checklist) msg += "- " + c + "<sup>" + checklist[c].join(", ") + "</sup>\n"; + msg += "\nPlease review CONTRIBUTING.md, then update and push your branch again.\n" comment_func({ owner: context.repo.owner, |