Is this client he is submitting bug reports for open source? I browsed through https://github.com/github/ really quick, but didn't see it.

If not, maybe he should be using some open source Git GUI if he wants to work together. Although I don't know of one offhand. I just use the command line myself.