git pushしたときにハマったことメモ

まず、git push originしたときにうまく動いてくれなかったので、
サーバ側の設定を書き換え。

git config --add receive.denyCurrentBranch ignore

そしてpushしたものの、サーバ側のファイルに反映されない...
ので、

git reset --hard

したら反映された。
ただ、このコマンドよくわかってないので危険かも？