Do git reset --hard HEAD when using git rebase --skip