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