まず、git push originしたときにうまく動いてくれなかったので、 サーバ側の設定を書き換え。 git config --add receive.denyCurrentBranch ignore そしてpushしたものの、サーバ側のファイルに反映されない... ので、 git reset --hard したら反映された。…