Just use "git commit --amend --allow-empty", no need to change anything! Edit: this is mixing up two things, what you want in this case is "git commit --amend

Just use "git commit --amend --allow-empty", no need to change anything! Edit: this is mixing up two things, what you want in this case is "git commit --amend -C HEAD && git push -f", i.e. replace the current commit with a new hash and force push. Alternatively you can create an empty commit as above, but that isn't amending.