Even if we just do automatic linting, it would nice if we had some continuous integration (perhaps a Travis).