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

Joachim Jacob
Contact details:

On 07/24/2013 12:45 PM, Peter Cock wrote:
On Wed, Jul 24, 2013 at 11:25 AM, Björn Grüning
<> wrote:

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
card :)

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:

Reply via email to