ローカルで git push した時にサーバ上で自動で git pull してくれるスクリプト gitpull_server.py を公開しました。 とりあえず Github, Backlog に対応しています。 使い方、注意点などは README に書きましたのでそちらをご覧下さい。 みんな大好き Pytho…