[fiala__]

looks interesting. What are the advantages of running such analysis on GitHub rather than locally?

[throwaway899]

It mentions 'Editor Plugins' on the page so I suppose you can run this locally too.

One Advantage I can think of of running such analysis on GitHub would be automatically analyzing pull requests.