Make GitHub commit optional (default NO)