|Version 2 (modified by simonpj, 5 years ago) (diff)|
GIT notes by Simon PJ
Here are notes about using Git that Simon PJ has found useful.
When you say git push (with no arguments), push only only patches on the current branch. If you have un-pushed commits on other branches, leave them be.
git config --global remote.origin.push HEAD
Suppose you create a new branch on your local machine. Now you want to push it up to the global repo. You almost certainly want your local branch to become a tracking option of the remote one, so that git pull will merge changes to the remote copy into your local copy.
git config --global branch.autosetupmerge true
Looking at the current state of affairs
Show a one-line-per-file summary of diffs between working files and the local repo:
git diff --stat
Show the commits that are on branch my-test but not on the main trunk:
git log `git merge-base master my-test`..my-test
The git merge-base b1 b2 thing returns the name of the commit that is the common ancestor of branches b1 and b2.
git gui on Windows
I’ve been using git gui (on Windows at least) as a way to examine and stage changes. But I suddenly found that it wasn’t displaying the diff in the main pane.
A google search http://code.google.com/p/msysgit/issues/detail?id=394 suggested that (bizarrely) it might have something to do with ‘nice’.
So I renamed c:/cygwin/bin/nice.exe to c:/cygwin/bin/cygin-nice.exe, and that made git gui worked fine. Wierd.