Comment by Camillo

BTW, what is the best Git GUI on Mac? I don't care about price. I have always used the command line, but many operations would be faster with a mouse.