The instructions on the web also say: "Then visit the GitHub service hooks page for that project and paste your GitHub username and Travis token into the settings for the Travis service if it is not already pre-filled."  Is this not necessary?