Updated the GitHub token (post HeartBleed)
Merge pull request #5294 from LaurentGoderre/v3.1

Updated the GitHub token (post HeartBleed)