Implemenet Git hook that synchronizes with other repos

This is a post-update hook which allows synchronization with
other repositories on pushes