Update Rakefile to supply GIT credential at the correct directory.
Skip documentation update if CI build is invoked due to a pull request.
Merge remote-tracking branch 'upstream/master'