Closed reynir closed 1 year ago
Yes, there seems to be bugs in remove
. I was hoping to cut a release yesterday, but through tests with opam-mirror (with bad urls commented out) I kept finding bugs :/ I think there is still something wrong with remove
.
This could use more tests, but it's been tested quite a bit using opam-mirror https://git.robur.io/robur/opam-mirror/src/branch/mirage-kv-6.
That looks good, maybe we need some more tests for :remove" (sorry for not spotting these issues in the review & merge)?