Hmm, seems that collaborating on tools is kind of a burden... Three
places to notify this small change you say? (trello, galaxy-dev and
direct emailing to the authors.)
I have opted for Trello, card #1013
Contact details: http://www.bits.vib.be/index.php/about/80-team
On 07/24/2013 12:45 PM, Peter Cock wrote:
On Wed, Jul 24, 2013 at 11:25 AM, Björn Grüning
Okay, normally I would have forked the galaxy-dist and do a pull request
with my change.
But the change I want to commit is in the tool 'add_value', which is in
the toolshed. Seems like a safer approach to me to contribute to the
toolshed. How can I commit my changes to that tool? Can somebody of the
devteam grant me acces? Do I send the diff by email :-) ?
Yes, please send the patch to the mailing list and/or the devteam
(toolshed should have a contact button). Also try to fill a trello
In general the upstream repository for a given tool will depend on
the tool author's preferences. They may not even use a separate
repository and work directly with the ToolShed in some cases.
In other cases you might be able to contribute directly via a
github pull request (planned for the NCBI BLAST+ tools), or
a bitbucket pull request (the Galaxy team like bitbucket).
The 'add_value' tool is under 'devteam' and it was original in
the main Galaxy repository under BitBucket - I don't know
where it lives now outside the tool shed:
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: