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