Use repodata_from_packages.json for establishing packages to mirror (!139) · Merge requests · bob / bob.devtools · GitLab

Snippets Groups Projects

Merged André Anjos requested to merge fix-mirroring into master 5 years ago

Use repodata_from_packages.json for establishing package contents on repo to mirror - default channel repodata.json is not updated anymore?

See #46 (closed)

Edited 5 years ago by André Anjos

Approval is optional

Activity

André Anjos changed title from [scripts/mirror] Use repodata_from_packages.json for establishing package... to Use repodata_from_packages.json for establishing packages to mirror 5 years ago

changed title from [scripts/mirror] Use repodata_from_packages.json for establishing package... to Use repodata_from_packages.json for establishing packages to mirror
André Anjos enabled an automatic merge when the pipeline for 30e1dd17 succeeds 5 years ago

enabled an automatic merge when the pipeline for 30e1dd17 succeeds
André Anjos canceled the automatic merge 5 years ago

canceled the automatic merge
André Anjos changed the description 5 years ago

changed the description
André Anjos enabled an automatic merge when the pipeline for 30e1dd17 succeeds 5 years ago

enabled an automatic merge when the pipeline for 30e1dd17 succeeds
André Anjos merged 5 years ago

merged
André Anjos mentioned in commit feadf62a 5 years ago

mentioned in commit feadf62a

Please register or sign in to reply