New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[WIP] Update Galaxy linting for non-XML tool sources. #463

Closed

jmchilton wants to merge 1 commit into galaxyproject:master from jmchilton:lint_updates

Member

jmchilton commented May 1, 2016

Requires galaxyproject/galaxy#2279 to be merged and a new galaxy-lib including it to be pushed out.


          Update Galaxy linting for non-XML tool sources.

093b7a5

jmchilton force-pushed the lint_updates branch from f910dce to 093b7a5 Compare

May 1, 2016 23:43

Member Author

jmchilton commented May 3, 2016

Merged directly as dd3ac94 with additional fixes.

jmchilton closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet