Merge branch 'py/git-gui-do-quit'