Setting up a clone git repo

May 22, 2012 at 11:47 AM

Do you mind me setting up a clone git repo of irony over at github? This will allow the user of irony as a git submodule.

May 22, 2012 at 3:52 PM

no problem

May 22, 2012 at 6:34 PM

In case anybody else is interested in this, it can be found here:

I'll try to keep it up to date (it's as simple as doing "hg pull default & hg push github").