docs: add in a note about [no cancel]

Author: ckipp01

.github/workflows/ci.yaml

@@ -31,7 +31,7 @@ concurrency:
   # Taken from scalameta/metals
   # On main, we don't want any jobs cancelled so the sha is used to name the group
   # On PR branches, we cancel the job if new commits are pushed
-  # You can also bypass that making sure[no cancel] is in your pull request body
+  # You can also bypass that making sure [no cancel] is in your pull request body
   group: ${{
       ((github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags'))
         && format('contributor-pr-base-{0}', github.sha) 

docs/_docs/contributing/sending-in-a-pr.md

@@ -114,6 +114,15 @@ Below are commonly used ones:
 | `[skip community_build_a]`| Skip the "a" community build    |
 | `[skip docs]`             | Skip the scaladoc tests         |
 
+#### Making sure every commit triggers a new run
+
+By default the Dotty CI will cancel your previous runs if you push a new commit.
+This helps make sure the CI keeps moving without getting stuck running a ton of
+jobs if you push multiple times in a row. _However_, there are times you may
+want to run every commit. To do this, make sure your PR body contains `[no
+cancel]`. This will ensure that there are no cancellations of your previous
+runs.
+
 ### 7: Create your PR!
 
 When the feature or fix is completed you should open a [Pull