There has been a lot of noise recently on how GitHub is bad, and how developers should stop using it.