diff --git a/.github/workflows/pr-title.yml b/.github/workflows/pr-title.yml index 0747e19065..5eecf338a7 100644 --- a/.github/workflows/pr-title.yml +++ b/.github/workflows/pr-title.yml @@ -15,16 +15,16 @@ jobs: echo "Check that PR is of the form `: ` :monocle_face:" >> $GITHUB_STEP_SUMMARY url='https://docs.scion.org/en/latest/dev/git.html#good-commit-messages' if [[ ! "$TITLE" =~ ^[a-z0-9,/]*:[[:space:]] ]]; then - echo "::warning {The PR title should start with `: `.\nSee $url}" + echo "::warning {The PR title should start with `: `.
See $url}" exit 1 fi # Title should be lower case; initialisms and identifiers still occur occasionally and should be allowed. # -> enforce only the first word if [[ ! "$TITLE" =~ ^[a-z0-9,/]*:[[:space:]][a-z] ]]; then - echo "::warning {The PR title should be lower case. (Enforced on first letter)\nSee $url}" + echo "::warning {The PR title should be lower case. (Enforced on first letter).
See $url}" exit 1 fi if [[ $TITLE =~ \.[[:space:]]*$ ]]; then - echo "::warning {The PR title should not end with a \".\".\nSee $url}" + echo "::warning {The PR title should not end with a \".\".
See $url}" exit 1 fi