@Stefano Bonicatti and I are playing a bit with LGTM right now. (It’s a code analysis tool). It’s now part of the github account, and we’re going to try to get it running against PRs. But, hopefully in a non-blocking way until it’s working. Holler if you have issues!