update workflows

- PR are now only tagged
- topo merge is done on push to master, not as part of PR
- this should resolve problems with arbitrary forked branches

.github/workflows/tag-prs.yml

@@ -0,0 +1,22 @@
+name: tag PRs
+
+on:
+  pull_request:
+    paths:
+    - 'website/data/*'
+
+  workflow_dispatch:
+
+jobs:
+  auto-topo-updater:
+    runs-on: ubuntu-latest
+    steps:
+
+    - uses: actions/checkout@v2
+
+    - uses: christianvuerings/add-labels@v1
+      with:
+        labels: |
+          data
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/update-topo-on-push.yml

@@ -1,7 +1,9 @@
-name: topo auto updater (PR)
+name: topo update (push)
 
 on:
-  pull_request:
+  push:
+    branches:
+      - 'master'
     paths:
       - 'website/data/library_services_information.csv'
 
@@ -13,14 +15,9 @@ jobs:
     steps:
 
     - uses: actions/checkout@v2
-
-    - uses: christianvuerings/add-labels@v1
       with:
-        labels: |
-          auto update
-          data
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        ref: ${{ github.head_ref }}
+        fetch-depth: 0
         
     - name: Merge CSV to TopoJSON
       run: |