Есть локальный гитовый репозиторий, который постится на гитхабе, на сервере есть копия этого репозитория. Расскажите пожалуйста, как можно настроить какой-нибудь скрипт или post push hook так, чтобы после моего локального пуша скрипт шел на сервер и делал гит пул?
webhook (ищите его в настройках репозитория на гитхабе). Дёргает заданный урл. На сервере слушаете порт, как только приходит http запрос - дёргаете скрипт. Делать можно на чём угодно, хоть на bash и netcat.
