Followup to #540 (comment).
@LisaFC - I'd like to suggest a process change: squash-and-merge PRs from now on rather than doing a default merge. This will keep the repo history clean, and make it more obvious which changes any given PR is introducing. It will also be helpful to PR authors as it usually forces PR authors, who might be working from a very old version of the repo, to rebase and resolve any merge conflicts (using their expertise of the code changes they're introducing) before their PR can be accepted for merging.
Thoughts?
/cc @nate-double-u @celestehorgan
Followup to #540 (comment).
@LisaFC - I'd like to suggest a process change: squash-and-merge PRs from now on rather than doing a default merge. This will keep the repo history clean, and make it more obvious which changes any given PR is introducing. It will also be helpful to PR authors as it usually forces PR authors, who might be working from a very old version of the repo, to rebase and resolve any merge conflicts (using their expertise of the code changes they're introducing) before their PR can be accepted for merging.
Thoughts?
/cc @nate-double-u @celestehorgan