diff --git a/.github/workflows/binder_badge.yml b/.github/workflows/binder_badge.yml deleted file mode 100644 index 5c8da27..0000000 --- a/.github/workflows/binder_badge.yml +++ /dev/null @@ -1,25 +0,0 @@ -name: Binder Badge -on: - pull_request_target: - types: [opened, reopened] - -jobs: - binder: - runs-on: ubuntu-latest - steps: - - name: comment on PR with Binder link - uses: actions/github-script@v1 - with: - github-token: ${{secrets.GITHUB_TOKEN}} - script: | - var PR_HEAD_USERREPO = process.env.PR_HEAD_USERREPO; - var PR_HEAD_REF = process.env.PR_HEAD_REF; - github.issues.createComment({ - issue_number: context.issue.number, - owner: context.repo.owner, - repo: context.repo.repo, - body: `[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/${PR_HEAD_USERREPO}/${PR_HEAD_REF}) :point_left: Launch a binder notebook on branch _${PR_HEAD_REF}_` - }) - env: - PR_HEAD_REF: ${{ github.event.pull_request.head.ref }} - PR_HEAD_USERREPO: ${{ github.event.pull_request.head.repo.full_name }} diff --git a/5_Cloud_Bash.ipynb b/5_Cloud_Bash.ipynb index 3259130..78c4082 100644 --- a/5_Cloud_Bash.ipynb +++ b/5_Cloud_Bash.ipynb @@ -351,7 +351,7 @@ } ], "source": [ - "mc config host add ebi https://uk1s3.embassy.ebi.ac.uk \"\" \"\"" + "mc config host add ebi https://livingobjects.ebi.ac.uk \"\" \"\"" ] }, {