Learn more about these different git repos.
Other Git URLs
If you create a dist repo from a build tag, then the regular repo for that tag can be marked expired, possibly causing trouble with builds.
This is because dist repos also live in the repo table. When they are marked done, then older repos for the same tag are marked expired. However, regular builds only use regular repos, so when they look for a current repo, they may not find one.
We expect to change the way dist repos work in 1.14, and I think that will solve this problem.
In the meantime, I recommend that folks avoid using build tags for dist repos.
Metadata Update from @mikem: - Issue set to the milestone: 1.14
Metadata Update from @mikem: - Issue set to the milestone: 1.15 (was: 1.14)
Since this is currently on a branch with the other dist-repo work (#409), and isn't particularly critical, I am also deferring it to 1.16
Metadata Update from @mikem: - Issue set to the milestone: 1.16 (was: 1.15)
Commit 18600b2 fixes this issue
Commit 0fe1130 fixes this issue
Log in to comment on this ticket.