Fix bug 942348: Correct GitHub capitalization.
Merge pull request #727 from openjck/github-capitalization

Fix bug 942348: Correct GitHub capitalization.