Implement hot-fix to repo indexing (!164) · Merge requests · bob / bob.devtools · GitLab

Amir MOHAMMADI requested to merge repodata-patches into master Jul 29, 2020

Adds a conda package that when uploaded to our channel, patches the repodata.

Fixes #53 (closed) and #56 (closed)

Edited Jul 29, 2020 by André Anjos