mention where. TravisCI is a continuous integration platform that integrates with github, so "When a pull request is made to the Mozilla repository, the pull request is automatically scheduled for TravisCI testing, which verifies that the code passes linting requirements as well as all of its unit tests. If TravisCI finds errors, the pull request gets marked as erroneous and should be fixed before it can be merged into the Mozilla repository" or something of that nature?