Does anybody use our Git mirror on GitHub to pull from it and to push
changes to our SVN repo?
If yes, how do you do that? Especially, how did you connect your local GitHub clone to
That is where it all fell apart (see previous mails).
It simply won't "connect" up again without doing what seems like a full git
svn clone again and thus it doesn't really help much ;(