More docs to reference specific action.

CivicTechTO · Oct 22, 2024 · e5bad3d · e5bad3d
1 parent 4386272
commit e5bad3d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/sync-from-upstream.yml b/.github/workflows/sync-from-upstream.yml
@@ -42,6 +42,7 @@ jobs:
         repository: compdemocracy/polis
         ref: edge
 
+    # See: https://github.com/ad-m/github-push-action
     - name: Push changes
       uses: ad-m/github-push-action@master
       with: