Dev here! Yeah, we've been making www.trou.pe for while and have just added some github hooks after some user requests. We are just curious to see how far people want github integration to go...