Stream: Coq devs & plugin devs

Topic: ✔ coqbot merge and squash

view this post on Zulip Laurent Théry (Jan 09 2023 at 12:38):

does the @coqbot: merge now automatically squash the commits in the PR?

view this post on Zulip Pierre Roux (Jan 09 2023 at 12:47):

no

view this post on Zulip Notification Bot (Jan 09 2023 at 15:22):

Laurent Théry has marked this topic as resolved.

Last updated: Jun 08 2023 at 04:01 UTC