Skip to content

fix lint_shed_version if there are no installable revisions#1509

Merged
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:installable-revisions
Mar 27, 2025
Merged

fix lint_shed_version if there are no installable revisions#1509
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:installable-revisions

Conversation

@bernt-matthias
Copy link
Collaborator

Happened here galaxyproject/tools-iuc#6886 where we tried to fix a partial deployment, i.e. the toolshed repo was created, but no tool added.

@mvdbeek mvdbeek merged commit b591833 into galaxyproject:master Mar 27, 2025
13 of 14 checks passed
@mvdbeek
Copy link
Member

mvdbeek commented Mar 27, 2025

Do you need a new release ?

@bernt-matthias bernt-matthias deleted the installable-revisions branch March 27, 2025 16:12
@bernt-matthias
Copy link
Collaborator Author

Maybe no. With galaxyproject/tools-iuc#6885 it should be possible to merge galaxyproject/tools-iuc#6886

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.

3 participants