Github made nasty stuff happen