git-gui: Efficiently update the UI after committing.
treea0ae183cc220e649b37f67e18772ad8e8b5332aa
-rw-r--r-- 1234 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 47986 git-gui