Fix generation of repos using -DhostOnJenkinsGitHub=false (#710)
#317
| Job | Run time |
|---|---|
| 5s | |
| 5s |
-DhostOnJenkinsGitHub=false (#710)
#317
| Job | Run time |
|---|---|
| 5s | |
| 5s |