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 contributor. So we can make sure the contributor gets all credit, although we also added some commit to cleanup a PR before merging. You can select one of the contributors of the PR to appear in the merge. Uwe -- Uwe Schindler Achterdiek 19, 28357 Bremen https://www.thetaphi.de
