Own implementation of conda channel mirroring
Compare changes
- André Anjos authored
bob/devtools/scripts/mirror.py
0 → 100644
+ 151
− 0
This MR implements a command to perform conda channel mirroring followed by re-indexing.
It should replace the use of conda-mirror in your server.
Mitigates the remaining issue with #41 (closed).