check for double-escaping

Author: afeld

.github/workflows/publish.yml

@@ -46,6 +46,17 @@ jobs:
       #     path: ./
       - name: Render for school
         run: ./extras/scripts/school_ci.sh ${{ matrix.school }}
+
+      # have had issues with nbgitpuller URLs being double-escaped, which causes an error when trying to open it
+      - name: Confirm there isn't double-escaping
+        run: |
+          if grep -r "&" _build/html; then
+            echo "Double-escaped URL"
+            exit 1
+          else
+            echo "No double-escaping"
+          fi
+
       - name: Update commit
         run: |
           git add -A