git-gui: Automatically refresh tracking branches when needed