I treat github as strictly a venue for triggering CI