Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Add DTD to Galaxy #2579
This merges DTD upstream into Galaxy.
WIP until all tests have been moved over and reviewed fully.
The upstream project has a different copyright statement and license than Galaxy and it is featured prominently in README - given that I just wanted to make sure that you are explicitly granting the Galaxy project permission to redistribute this code with our license and copyright.
I have two commits I'd like to discuss but Github isn't letting me open a PR against your repo and I don't understand why. Any chance you can review them, test them, and cherry-pick them into your branch if they look good?
They are from my branch here - https://github.com/jmchilton/galaxy/tree/add-dtd-to-galaxy.
jmchilton@ed48c6c Makes the config handling more like traditional Galaxy - navigating the Galaxy config object to find that YAML file.
Any problems with these changes?