[SR-Users] Shifting to github for git repository

Hello, (cross posting, looking to get feedback for those with more experience on github options - playing the lazy guy, not searching much on the web so far). In order to move the main git repository to github (where the commits will be pushed by devs) and have a real-time mirror on our server (stored very likely on kamailio.org, but we will keep git.sip-router.org as domain for it), two things have to be sorted out: 1) real time propagation of commits from github to git.sip-router.org I discovered that github provides a web hook for this event - when a commit is pushed, then a http query is done to a given url. I thought of using it to trigger the mirroring from git.sip-router.org I couldn't find if we can use what Victor Seva configured on git.sip-router.org to push in real-time to github, which I guess is a script invoked on commit -- if we can turn that around, would be probably the easiest. 2) email notifications Anyone with extensive knowledge of how much the notification messages can be customized? Eventually trying to get the structure as much as possible to what we have now -- see an example: - http://lists.sip-router.org/pipermail/sr-dev/2014-November/026253.html I could notice that Jitsi (using github) commit notification has a format not far from ours: - http://lists.jitsi.org/pipermail/commits/2014-November/012937.html I can eventually talk with them if no one else here has related knowledge. Another option is to trigger the notifications from the mirror repository we will keep on git.sip-router.org Also, would be good to know if there are people with some spare time willing to help whenever needed with this migration. Reply here to have you in mind. Cheers, Daniel -- Daniel-Constantin Mierla http://twitter.com/#!/miconda - http://www.linkedin.com/in/miconda