Remove deprecated mybinder federations and update the gesis one (#271)

airbus · Sep 15, 2023 · 2bfc07e · 2bfc07e
1 parent d391742
commit 2bfc07e
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -682,17 +682,15 @@ jobs:
           # get sha1 to be used by binder for the environment
           BINDER_RELEASE_ENV_SHA1=$(git rev-parse --verify HEAD)
           echo "BINDER_RELEASE_ENV_SHA1=${BINDER_RELEASE_ENV_SHA1}" >> $GITHUB_ENV
-          # push binder branch so that reference to release binder env exists on remote
+          # push binder branch so that reference to release binder env exists on remote
           git push origin binder
           # switch back to original branch
           git checkout $TAG_NAME
 
       - name: Trigger a build on each BinderHub deployments in the mybinder.org federation
         run: |
-          bash scripts/trigger_binder.sh https://gke.mybinder.org/build/gh/${GITHUB_REPOSITORY}/${BINDER_RELEASE_ENV_SHA1}
           bash scripts/trigger_binder.sh https://ovh.mybinder.org/build/gh/${GITHUB_REPOSITORY}/${BINDER_RELEASE_ENV_SHA1}
-          bash scripts/trigger_binder.sh https://turing.mybinder.org/build/gh/${GITHUB_REPOSITORY}/${BINDER_RELEASE_ENV_SHA1}
-          bash scripts/trigger_binder.sh https://gesis.mybinder.org/build/gh/${GITHUB_REPOSITORY}/${BINDER_RELEASE_ENV_SHA1}
+          bash scripts/trigger_binder.sh https://notebooks.gesis.org/binder/build/gh/${GITHUB_REPOSITORY}/${BINDER_RELEASE_ENV_SHA1}
 
       - name: Set env variables for github+binder links in doc
         run: |