fix a bug preventing repo without jenkins to complete