Thanks Philip, I've created a pull request there - https://github.com/patthoyts/git-gui/pull/12