~sircmpwn/builds.sr.ht#288: 
Don't clone the source repo when sources is empty

When submitting a job via the git.sr.ht integration, the source repo is cloned even if the sources key is omitted or set to the empty list.

When omitted, it's good that the default behavior is to clone the sources as that's what most developers would expect I guess.

But when it's explicitly set to the empty list, the repo being pushed to should not be added to the manifest. It's a waste of time, network use and disk space.

Status
REPORTED
Submitter
~crocmagnon
Assigned to
No-one
Submitted
1 year, 3 months ago
Updated
1 year, 3 months ago
Labels
No labels applied.