Modify a commit which has been pushed [PushMindStack]

« Reverse-i-search (Ctrl + R) is very slow

Shell Prompt »

Introduce how to modify a commit which has been pushed.

Find the ID (denoted by pre-cmt-id) of the previous commit of the commit that you need to modify.
Run git rebase -i pre-cmt-id.
Modify pick to edit in the line where the commit to be modified is located. Then save and exit.
Make changes.
Run git add ….
Run git commit --amend.
Run git push … if you want to push changes to remote.
Run git rebase --continue.

Creation Date: 2023/05/10, Last modified: 2023/09/15, Author: Siyuan Liu

Comments