[DO NOT MERGE] ci(docs): Publish from this branch

why: The docs job runs only on `main`, so nothing on this branch
reaches the live site. Publishing from here is how we see the gp-sphinx
badge change rendered before either PR merges.

what:
- Add `scope-overhaul` to the docs workflow's push branches

Remove before merging.

Author: tony

.github/workflows/docs.yml

@@ -4,6 +4,10 @@ on:
   push:
     branches:
       - main
+      # [DO NOT MERGE] Publish from this branch so the gp-sphinx
+      # badge-vocabulary change can be seen on the live site before
+      # either PR merges. Remove before merging.
+      - scope-overhaul
 
 permissions:
   contents: read