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: Dec 05 2023 at 04:01 UTC