CI: Update the lint commits
error message to be more user friendly
We often see PR's opened and then immediately closed because folks think they did something bad, or don't know how to fix the situation. So lets try to give them a few pointers.
This commit is contained in:
parent
f91d471843
commit
c6c59653ce
Notes:
sideshowbarker
2024-07-17 21:30:44 +09:00
Author: https://github.com/bgianfo Commit: https://github.com/SerenityOS/serenity/commit/c6c59653ce5 Pull-request: https://github.com/SerenityOS/serenity/pull/11688 Reviewed-by: https://github.com/IdanHo ✅ Reviewed-by: https://github.com/alimpfard ✅
1 changed files with 1 additions and 1 deletions
2
.github/workflows/lintcommits.yml
vendored
2
.github/workflows/lintcommits.yml
vendored
|
@ -77,4 +77,4 @@ jobs:
|
|||
env:
|
||||
GITHUB_TOKEN: ${{ secrets.BUGGIEBOT }}
|
||||
with:
|
||||
msg: "One or more of the commits in this PR do not match the [code submission policy](https://github.com/SerenityOS/serenity/blob/master/CONTRIBUTING.md#code-submission-policy), please check the `lint_commits` CI job for more details."
|
||||
msg: "Hello!\n\nOne or more of the commit messages in this PR do not match the SerenityOS [code submission policy](https://github.com/SerenityOS/serenity/blob/master/CONTRIBUTING.md#code-submission-policy), please check the `lint_commits` CI job for more details on which commits were flagged and why.\nPlease do not close this PR and open another, instead modify your commit message(s) with [git commit --amend](https://docs.github.com/en/pull-requests/committing-changes-to-your-project/creating-and-editing-commits/changing-a-commit-message) and force push those changes to update this PR."
|
||||
|
|
Loading…
Add table
Reference in a new issue