I have a Jenkins job which gets triggered every time someone tries to merge a pull request into my github repo.
This job (among other things) is supposed to run pylin