Updated the GitHub token (post HeartBleed)
Merge pull request #5212 from LaurentGoderre/update-gh-token

Updated the GitHub token (post HeartBleed)