Add GitHub Action to push to GESIS

Author: rgaiacs

.github/workflows/gesis-methods-hub.yaml

@@ -0,0 +1,26 @@
+name: "GESIS update dispatcher"
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  update-methods-hub-at-gesis:
+    if: github.repository == 'jupyterhub/mybinder.org-deploy'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Create remote
+        run: |
+          if [ -z "$(git remote | grep methodshub)" ]
+          then
+          git remote add methodshub https://git.gesis.org/methods-hub/interactive-environment.git
+          fi
+      - name: Update remote
+        env:
+          GESIS_METHODS_HUB_TOKEN: ${{ secrets.GESIS_METHODS_HUB_TOKEN }}
+        run: |
+          git remote set-url methodshub https://jupyterhub-mybinder-org-deploy:${GESIS_METHODS_HUB_TOKEN}@git.gesis.org/methods-hub/interactive-environment.git
+      - name: Push main
+        run: |
+          git push methodshub ${GITHUB_SHA}:main

.github/workflows/gesis.yaml .github/workflows/gesis-orc.yaml

@@ -6,7 +6,7 @@ on:
       - main
 
 jobs:
-  update-gesis:
+  update-orc-at-gesis:
     if: github.repository == 'jupyterhub/mybinder.org-deploy'
     runs-on: ubuntu-latest
     steps:
@@ -17,4 +17,4 @@ jobs:
           curl -X POST \
           -F token=${GESIS_TOKEN} \
           -F ref=main \
-          https://git.gesis.org/api/v4/projects/ilcm%2Forc2-upgrade-bot/trigger/pipeline
+          https://git.gesis.org/api/v4/projects/ilcm%2Forc2-upgrade-bot/trigger/pipeline