From 2bfc07e0f1e15b3b2cb8d47bb115c1df83618d08 Mon Sep 17 00:00:00 2001 From: Florent Teichteil-Koenigsbuch Date: Fri, 15 Sep 2023 11:47:12 +0200 Subject: [PATCH] Remove deprecated mybinder federations and update the gesis one (#271) --- .github/workflows/release.yml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 2e681f5810..3c2d8f464f 100644 --- 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: |