PushMindStack - tools:git:tips

Modify a commit which has been pushed

anonymous@undisclosed.example.com (Anonymous) — Sun, 10 Mar 2024 17:18:27 +0000

Modify a commit which has been pushed Steps * 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.

Push only one specified commit

anonymous@undisclosed.example.com (Anonymous) — Thu, 07 Mar 2024 16:12:37 +0000

Push only one specified commit Steps * Run git log --oneline to list the commit (push-cmt) to be pushed and the SHA (rmt-head-sha) of the HEAD (rmt-head) of the remote repository. * Run git rebase -i rmt-head-sha to re-order the push-cmt to follow the

Git branch topography

anonymous@undisclosed.example.com (Anonymous) — Sun, 10 Mar 2024 17:18:33 +0000

Git branch topography Steps Append the following code to ~/.gitconfig. Then you can run git lg, git lg1, git lg2 and git lg3 to see the output, respectively. Further Reading *

Revert to a Specific Commit

anonymous@undisclosed.example.com (Anonymous) — Sun, 10 Mar 2024 17:12:54 +0000

Revert to a Specific Commit Steps * Run git reflog to see the reference logsReference logs, or reflogs, record when the tips of branches and other references were updated in the local repository. . * Run git reset --soft HEAD@{id}, where id is the ID of target commit to revert to.