Fix typo and spelling inconsistency in CONTRIBUTING.md

Fix spellings of GitHub

Remove unnecessary changes

Fix GitHub spelling on doc/translation_process.md
This commit is contained in:
Koki Takahashi authored and Koki Takahashi committed 2017-02-09 11:56:44 +09:00
1 parent 1c2edd9f67
commit 36164faa33
6 files changed
+8 -8

No files matched your search

+1 -1
View File
@@ -3,7 +3,7 @@ Repository Tools
### [Developer tools](/contrib/devtools) ###
Specific tools for developers working on this repository.
Contains the script `github-merge.py` for merging github pull requests securely and signing them using GPG.
Contains the script `github-merge.py` for merging GitHub pull requests securely and signing them using GPG.
### [Verify-Commits](/contrib/verify-commits) ###
Tool to verify that every merge commit was signed by a developer using the above `github-merge.py` script.
+1 -1
View File
@@ -125,7 +125,7 @@ check or whatever).
This means that there are no potential race conditions (where a
pullreq gets updated while you're reviewing it, but before you click
merge), and when using GPG signatures, that even a compromised github
merge), and when using GPG signatures, that even a compromised GitHub
couldn't mess with the sources.
Setup