On Fri, Dec 20, 2013 at 03:05:33pm +0000, David Chisnall wrote: > > If we're moving anything, I'd actually be in favour of Option 3: Move > everything to GitHub. That gives us: > > - svn or git views of the repo, so developers can use either
Agreed. Especially if the import is done properly such that the tags and branches are properly preserved. .pdf _______________________________________________ Discuss-gnustep mailing list [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnustep
