Added a linting bot.  It is annoying.