Il 2013-09-23 20:43 Curtis Hendrickson (Campus) ha scritto:
Dear Galaxy Team
I was upgrading our servers with the 8/12 release, and going over the
I noted item "Pull Requets Merged #5: SAMtools indexes #188 ".
But the file created by the pull request didn't seem to exist.
After looking in bitbucket at the history, it looks like the pull
request was backed out  before the release.
Have I correctly understood the situation?
unfortunately you're right, my pull request has been backed out before
the latest release.
It seems that the Galaxy Team intention is to first move SAMtools and
cufflinks wrapper to the Tool Shed and then re-apply my changes.
There is a Trello card if you would like to monitor the progresses:
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
To search Galaxy mailing lists use the unified search at: