Stream: Coq devs & plugin devs

Topic: Merge queue

view this post on Zulip Emilio Jesús Gallego Arias (Feb 09 2023 at 14:48):

It seems that github has a merge queue functionality in beta now :)

Last updated: Dec 06 2023 at 14:01 UTC