Every answer about migrating git repo says:
git clone --mirror git@github/odlrepo.git
git push --mirror git@github/newrepo.git
But nobody says, what to do after...
How to force developers to use newrepo?
Solutions that I came with are:
- git hook on oldrepo which will push changes to newrepo (but if developers keep pushing to both - it seems like its asking for troubles)
- git hook which blocks commits and says "change remote, we are using now newrepo
But maybe there are some better solutions?