fixup, maybe

.github/workflows/pr-title.yml

@@ -15,16 +15,16 @@ jobs:
         echo "Check that PR is of the form `<subystem>: <lowercase message>` :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 `<substystem>: `.\nSee $url}"
+          echo "::warning {The PR title should start with `<substystem>: `.<br>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).<br>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 \".\".<br>See $url}"
           exit 1
         fi