Stream: coqbot devs & users

Topic: coqbot rebase tags for coq-opam-archive


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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: Jan 31 2023 at 10:01 UTC