Вы можете заставить github общаться с удаленным хостом, когда вы отправляете в репозиторий:
http://help.github.com/post-receive-hooks/
Таким образом, вы можете написать свой собственный обработчик запросов, чтобы принять JSON, который они публикуют для вас, и запустить процесс обновления выписки из хранилища на стороне сервера и каким-либо образом обновлять себя. Может потребоваться некоторая осторожность, чтобы убедиться, что сервер не изменяет свою конфигурацию во время обновления, но если вы просто обновляете файлы PHP, у вас должно быть все в порядке.
То есть, вы просто что "ref" равен "refs /heads / master", и, если так, cd туда, где ваши PHP-файлы извлечены и выполните git fetch github
, git reset --hard $after_rev
.