diff --git a/.github/workflows/gesis-methods-hub.yaml b/.github/workflows/gesis-methods-hub.yaml new file mode 100644 index 000000000..c1821a37e --- /dev/null +++ b/.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 diff --git a/.github/workflows/gesis.yaml b/.github/workflows/gesis-orc.yaml similarity index 95% rename from .github/workflows/gesis.yaml rename to .github/workflows/gesis-orc.yaml index 506be3dbd..4b9a80746 100644 --- a/.github/workflows/gesis.yaml +++ b/.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: