does the @coqbot: merge now automatically squash the commits in the PR?
@coqbot: merge now
no
Laurent Théry has marked this topic as resolved.
Last updated: Jun 08 2023 at 04:01 UTC