git-gui: Efficiently update the UI after committing.