jcw/ethercard — comment on commit 48b8370e0f1f9243c6b6a03447e825c0f5d14717
File:  line 0
By DavyLandman:

did you do a git reset ^HEAD ?

in that case, you're right.. github doesn't like it if you rewrite history after you've already pushed.. (although the -f will override this is github allows that)

better is just to make a new commit to fix your previous commit (only if you've already pushed, else you git reset would indeed be the best approach (or git commit --amend))