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: Jun 08 2023 at 04:01 UTC