March 19, 2021
6:50 p.m.
On Fri, 19 Mar 2021 at 17:26, Hasan Diwan <hasan.diwan@gmail.com> wrote:
For the side question, you can always use rebase instead of merge. Let me know if you need further particulars? -- H
There should be no need though, as the Python project has a policy of squash-merging all PRs. Paul