github - Git push error on local development environment after doing a git reset --hard -

github - Git push error on local development environment after doing a git reset --hard -

earlier today performed git reset --hard 12345abc revert local re-create specific commit. when seek force new changes origin master, getting next error:

note: "12345abc" above illustration commit number

error: failed force refs 'git@github.com:example/example.git' hint: updates rejected because tip of current branch behind hint: remote counterpart. merge remote changes (e.g. 'git pull') hint: before pushing again. hint: see 'note fast-forwards' in 'git force --help' details.

how can go ahead , commit new changes , force them origin master?

$ git force -f

will solve issue.

note: unless referred other commits, branch or tag, 12345abc , kid commits garbage-collected (since nil references them anymore, git assumes useless)

git github