travis-ci/travis-ci.github.com — pull request #247 by rboulton (2013-05-07 09:39:31+00:00)
Title: Make it clear which user travisbot is

Reading the documentation I wasn't completely confident which user to add to my private repository to let travis leave comments on my pull requests. After browsing around, I'm pretty sure that it should simply be the "travisbot" user; this change avoids making other people have the same uncertainty.