“The perception of GitHub's service has been degrading over the past year, with frequent outages and issues.”