Karl Palmskog (Jun 02 2020 at 09:24): Karl Palmskog (Jun 02 2020 at 09:24):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.
Théo Zimmermann (Jun 02 2020 at 12:39):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.
Notification Bot (Jun 12 2020 at 11:40):This topic was moved here from #Coq devs & plugin devs > coqbot rebase tags for coq-opam-archive by Théo Zimmermann
Last updated: Apr 20 2024 at 10:02 UTC