now we seem to be getting tons of these "needs:rebase" for things in the opam archive. Is this really necessary? very little chance of generating conflicts there.
It's only supposed to happen when there actually is a conflict. If that's not the case, that's a bug and please open an issue with a link.
This topic was moved here from #Coq devs & plugin devs > coqbot rebase tags for coq-opam-archive by Théo Zimmermann
Last updated: Oct 13 2024 at 01:02 UTC