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 13 2024 at 06:01 UTC