Thank you Mike, I just backported the change.
On Thu, Sep 15, 2022 at 6:32 PM Michael Sokolov wrote:
> it looks like a small bug fix, we have had on main (and 9.x?) for a
> while now and no test failures showed up, I guess. Should be OK to
> port. I plan to cut artifacts this weekend, or Monday
This might be interesting to all. It is now possible to select which
committer/contributor is actually doing the commit when squash merging a PR on
GitHub:
https://github.blog/changelog/2022-09-15-git-commit-author-shown-when-squash-merging-a-pull-request/
This helps to better refer to our
