Skip to content

Drop copy_tree workaround for tool sources#1308

Merged
mvdbeek merged 7 commits intogalaxyproject:masterfrom
mvdbeek:drop_copytree
Nov 2, 2022
Merged

Drop copy_tree workaround for tool sources#1308
mvdbeek merged 7 commits intogalaxyproject:masterfrom
mvdbeek:drop_copytree

Conversation

@mvdbeek
Copy link
Member

@mvdbeek mvdbeek commented Nov 1, 2022

It comes with a whole bunch of disadvantages and complexitites, and we can also just dereference symlinks in planemo-ci-action.

@mvdbeek
Copy link
Member Author

mvdbeek commented Nov 1, 2022

Fixes #996

It comes with a whole bunch of disadvantages and complexitites, and we
can also just dereference symlinks in planemo-ci-action.
Co-authored-by: Nicola Soranzo <nicola.soranzo@gmail.com>
Co-authored-by: Nicola Soranzo <nicola.soranzo@gmail.com>
Co-authored-by: Marius van den Beek <m.vandenbeek@gmail.com>
@mvdbeek mvdbeek enabled auto-merge November 1, 2022 17:01
@nsoranzo nsoranzo disabled auto-merge November 1, 2022 18:44
@mvdbeek mvdbeek enabled auto-merge November 2, 2022 11:21
@mvdbeek mvdbeek disabled auto-merge November 2, 2022 11:23
@mvdbeek mvdbeek merged commit 6b98721 into galaxyproject:master Nov 2, 2022
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