I use the git mirrors exclusively. Very fast, and GitHub's browser-based file search (t key) is awesome.
Glenn Waldron / @glennwaldron On Tue, Apr 30, 2013 at 12:59 PM, Jan Ciger <[email protected]> wrote: > > > On Tue, Apr 30, 2013 at 6:46 PM, Mathieu MARACHE < > [email protected]> wrote: > >> Hi Jordi, Robert and all concerned by git mirrors, >> >> The git mirrors are not able to migrate to this new repositories URLs. >> git svn switch does not exist and googled solutions didn't work >> unfortunately... >> >> I'm facing a difficult choice. Either these mirrors are useful to other >> people (than me) or not. If not I will delete them. If they are useful, the >> best solution I can think of is to re-create them, thus rewriting current >> history (commits id will be different). Rewriting history is never a good >> thing... >> >> Any thoughts or comments ? >> >> > Oops, I am certainly using the git mirror on Github, it is often lot > faster than the SVN repo. > Isn't it possible to simply change where the repo is pointing by editing > the .git/config file? I haven't tried that with git svn, but I imagine that > shouldn't cause too much trouble. > > Jan > > > _______________________________________________ > osg-users mailing list > [email protected] > http://lists.openscenegraph.org/listinfo.cgi/osg-users-openscenegraph.org > >
_______________________________________________ osg-users mailing list [email protected] http://lists.openscenegraph.org/listinfo.cgi/osg-users-openscenegraph.org
