Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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).
- Loading branch information