That might be better, doesn't make it unduly difficult for contributors that can't push their own commits