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.
Their desktop clients aren't open source. I personally haven't found any open-source git GUIs that work as well as GitHub for Mac or SourceTree (both of which are closed-source and now have Windows equivalents)
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.