Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use rebases instead of merge commits #10052

Closed
wants to merge 1 commit into from
Closed

Use rebases instead of merge commits #10052

wants to merge 1 commit into from

Commits on May 31, 2024

  1. Use rebases instead of merge commits 

    Per haskell#10048 (comment)
ff.

In studying the Mergify documentation, I discovered the actual rules are
slightly different than the ones we thought it was using, so I used the
ones the documentation cited (cf.
https://docs.mergify.com/workflow/actions/merge/#parameters).

We now use `squash` instead of `rebase`, so the PR number is preserved
for `changelog-d` to find.
    @geekosaur
    geekosaur committed May 31, 2024
    Configuration menu
    Copy the full SHA
    a7eb740 View commit details
    Browse the repository at this point in the history