Git hook script to keep local server repositories  in sync with Github