4 ms·

If it was "before pushing" that means the commit has been made, and thus isn't lost (but accessible via the reflog.)