On Tue, Aug 22, 2017 at 2:55 PM, Jeffrey Walton <noloa...@gmail.com> wrote: > I tested some changes that lead to a dead end. The changes need to be > removed. The changes were added in 7 commits. > > I went back in time to the point before the changes: > > $ git reset --hard HEAD~7 > HEAD is now at 559fc3b Fix benchmark selection code (GH #464) > > When I attempted to push: > > $ git push > Username for 'https://github.com': noloader > To https://github.com/noloader/cryptopp.git > ! [rejected] master -> master (non-fast-forward) > > I tried to commit, but Git claims there's nothing to add: > > $ git commit > On branch master > Your branch is behind 'origin/master' by 7 commits, and can be > fast-forwarded. > > Commit seems to be the wrong command as Git appears to be trying to do > something I don't want. > > How do I force the push to succeed? > > Thanks in advance.
Checkout the --force[-with-lease] argument. https://git-scm.com/docs/git-push
