On Tue, Sep 4, 2012 at 5:57 PM, Luca Pireddu <pire...@crs4.it> wrote:
> Hello list.
> A simple question:  is there a git mirror of the Galaxy repositories? If
> not, what do git users here do to work with the Galaxy code base?
> Thanks,

I don't think there is an official git mirror, but even if there was it
wouldn't help for pushing changes or suggestion into Galaxy.

Speaking as a git user who only has to use hg for Galaxy, I just
learnt enough hg to get the basics done, and frequently consult
resources like this:

The Galaxy User list should be used for the discussion of
Galaxy analysis and other features on the public server
at usegalaxy.org.  Please keep all replies on the list by
using "reply all" in your mail client.  For discussion of
local Galaxy instances and the Galaxy source code, please
use the Galaxy Development list:


To manage your subscriptions to this and other Galaxy lists,
please use the interface at:


Reply via email to