Skip to content

Fix version linter for new repos#1519

Merged
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:topic/fix-version-check-new
Apr 30, 2025
Merged

Fix version linter for new repos#1519
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:topic/fix-version-check-new

Conversation

@bernt-matthias
Copy link
Collaborator

new repos will log an error which is confusing (galaxyproject/tools-iuc#6922 (comment)) so we should check first if the repo exists

new repos will log an error which is confusing (galaxyproject/tools-iuc#6922 (comment))
so we should check first if the repo exists
@mvdbeek mvdbeek merged commit 1974a81 into galaxyproject:master Apr 30, 2025
13 of 14 checks 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.

3 participants