A static-analysis bot for Github