From e5049dadcb1263632951664ffc1be89de5e722c6 Mon Sep 17 00:00:00 2001
From: pwalczysko <p.walczysko@dundee.ac.uk>
Date: Tue, 7 Apr 2026 15:47:59 +0100
Subject: [PATCH 1/2] livingobjects

---
 5_Cloud_Bash.ipynb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 \"\" \"\""
    ]
   },
   {

From 716de2fdeac5c6cf74cadec786ab4f856fc982b3 Mon Sep 17 00:00:00 2001
From: pwalczysko <p.walczysko@dundee.ac.uk>
Date: Tue, 7 Apr 2026 15:51:11 +0100
Subject: [PATCH 2/2] Remove binder badge workflow

---
 .github/workflows/binder_badge.yml | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 .github/workflows/binder_badge.yml

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 }}