One Comment

  1. To delete a local commit (not revert, a revert is a commit) that is not pushed to the remote server yet, such as the HEAD:

    $ git reset –hard HEAD^

    The reset the working repository to one commit before HEAD. Hence, HEAD is “deleted”.

Leave a Reply

Your email address will not be published. Required fields are marked *