We don't have cached repos, and our repos aren't so big that we want to care about the git push difference. Also - dont do delete: true like prepare-workspace does, because deleting and then re-pushing project-config depending on job would be costly. Change-Id: I4c7bbc797f9f81878424b7bf2b7e83ec756de108changes/27/720227/2
parent
aa78935600
commit
edd46d1acc
Loading…
Reference in new issue