WordPress のテーマディレクトリを Git 管理するのは良いが、少し修正するたびにサーバで git pull コマンドを実行するのが面倒くさい。GitHub などのリモートリポジトリに p…