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

[galaxy-user] git mirror

2012-09-04 Thread Luca Pireddu
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, -- Luca Pireddu CRS4 - Distributed Computing Group Loc. Pixina Manna Edificio 1 09010 Pula (CA), Italy Tel: +39 0709250452