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: Mar 28 2024 at 14:01 UTC