Skip to content

capitalization Github -> GitHub

Administrator requested to merge github-caps into master

Created by: sqs

This only changes docs and comments, not code, to avoid merge conflicts. Eventual consistency in the capitalization of GitHub is OK. :)

https://docs.sourcegraph.com/dev/style_guide

Merge request reports