GitTrouble - t-sakashita/rokko GitHub Wiki
Gitのトラブル対処法
ブランチがdivergedしてしまった場合
pushしたコミットに対して、commit --amendしてしまった場合に起こる。
$ git status
On branch develop
Your branch and 'origin/develop' have diverged,
and have 1 and 14 different commits each, respectively.
(use "git pull" to merge the remote branch into yours)
nothing to commit, working directory clean
対処法
git reset --hard origin/develop