Skip to content

Use tag instead of branch#129

Merged
jburel merged 1 commit intoIDR:masterfrom
jburel:humanmine_update_1
Feb 20, 2026
Merged

Use tag instead of branch#129
jburel merged 1 commit intoIDR:masterfrom
jburel:humanmine_update_1

Conversation

@jburel
Copy link
Member

@jburel jburel commented Feb 20, 2026

Tag the repo and use personal account so we do not follow the dev branch of intermine.
This should be changed when there is an official tag.

@jburel jburel requested a review from pwalczysko February 20, 2026 08:22
@github-actions
Copy link

Binder 👈 Launch a binder notebook on branch humanmine_update_1

@pwalczysko
Copy link
Contributor

Tested in Colab. Works as expected.

Nevertheless, 2 RFEs, maybe for another PR:

  • Remove the Binder badge from the README
  • Remove the automatic Binder badge creation on GHE inside every PR
  • Remove the . repo2docker workflow from README -> does not wfm as just tested

@jburel jburel merged commit 9650361 into IDR:master Feb 20, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants