Skip to content

Drop planemo database seed option#985

Merged
jmchilton merged 2 commits intogalaxyproject:masterfrom
mvdbeek:drop_database_seed
Jan 25, 2020
Merged

Drop planemo database seed option#985
jmchilton merged 2 commits intogalaxyproject:masterfrom
mvdbeek:drop_database_seed

Conversation

@mvdbeek
Copy link
Member

@mvdbeek mvdbeek commented Jan 19, 2020

It's easier and faster to let Galaxy create a database.

Let's see how much breaks here.

It's easier and faster to let Galaxy create a database.
@mvdbeek mvdbeek force-pushed the drop_database_seed branch from 3444c70 to 611d827 Compare January 19, 2020 20:50
@mvdbeek mvdbeek changed the title [WIP] Drop planemo database seed option Drop planemo database seed option Jan 19, 2020
@mvdbeek mvdbeek marked this pull request as ready for review January 19, 2020 20:50
@jmchilton jmchilton merged commit 526ed74 into galaxyproject:master Jan 25, 2020
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