On Mon, 11 Jul 2011, Carlo Marcelo Arenas Belon wrote:
On Sun, Jul 10, 2011 at 04:28:18PM -0400, Vladimir Vuksan wrote:
Any thoughts on why we shouldn't make the Github our primary repository ?
as it was explained long time ago when I proposed the same and were rejected
we will also need to
On Mon, 11 Jul 2011, Jesse Becker wrote:
the full history in svn anyway, as it was only recently that metadata was
added for keeping track of the merges.
And I've said before that keeping SVN around, read-only, is perfectly fine.
I still have no objections to migrating to git, and think
