Automate reset and force push of a forgotten commit

[teobais]

Yes, it happened more than twice to neglect a file during a commit, reset the HEAD, readding the files and force a push.

Thus, we should automate the following process:

git reset HEAD~1
last git add command
last git commit command
git push -f

[teobais]

Consult this blog on how to repeat the last git add and commit commands. Thanks to @c-guntur, of course!