diff options
| author | Koki Takahashi <Koki.Takahashi@jp.sony.com> | 2017-02-03 17:12:21 +0900 |
|---|---|---|
| committer | Koki Takahashi <k.takahashi@sonyged.com> | 2017-02-09 11:56:44 +0900 |
| commit | 36164faa338d387177c6328496f63ac11eda3b78 (patch) | |
| tree | cb2d0a6e0d860c952bf2af0ff2512bd0d397b9c3 /contrib | |
| parent | 1c2edd9f6707d16c03ecfba094b1cfec2ddc4dce (diff) | |
Fix typo and spelling inconsistency in CONTRIBUTING.md
Fix spellings of GitHub
Remove unnecessary changes
Fix GitHub spelling on doc/translation_process.md
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/README.md | 2 | ||||
| -rw-r--r-- | contrib/devtools/README.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/contrib/README.md b/contrib/README.md index 4ea9700f59..6f750106e4 100644 --- a/contrib/README.md +++ b/contrib/README.md @@ -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. diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md index 34f2af6866..67c5e15a15 100644 --- a/contrib/devtools/README.md +++ b/contrib/devtools/README.md @@ -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 |