Fix casing of the word GitHub

This commit is contained in:
Tim Bernhard
2020-11-10 14:20:52 +01:00
parent eae9fea026
commit 4be2a99977
8 changed files with 131 additions and 118 deletions

View File

@ -95,7 +95,7 @@ on the pull request discussion page on GitHub, so that other developers
can later review the entire discussion after the fact and understand the
rationale behind choices made. Exceptions to this policy are technical
discussions, that are centered on tools or policies themselves
(git, github, c++) rather than on the content of the pull request.
(git, GitHub, c++) rather than on the content of the pull request.
### Checklist for Pull Requests