for this, I suggest amending and forcing the push. It does not really deserve a commit on its own