We use gitosis as our local in-house shared repository and also have a private Github account that mirrors our local repository. If one does a git push to the in-house repository the post-update hook updates the Github repository.
How can I make this two way without causing "loops"? I.e. if someone pushes to the Github repository, I would like it to also update the in-house gitosis repository.
A pointer to an example of how to do it would be greatly appreciated.
Or if there are recommendations of alternatives to gitosis that would make this kind of thing easy, I would consider migrating to that.