Re: [galaxy-user] git mirror

2012-09-05 Thread Luca Pireddu
On 09/05/2012 01:30 AM, Peter Cock wrote: 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

Re: [galaxy-user] git mirror

2012-09-04 Thread Peter Cock
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