Re: git is live

Tom Tromey
2013-10-25T18:01:31Z

Peter> Well if there was an official project repo for branches separate
Peter> from the development repo, I could use that. I'm just not free
Peter> to use something outside of the project itself.

It's fine to just use the main repository. There is no big downside to
it.

Tom