You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@lucene.apache.org by Uwe Schindler <uw...@thetaphi.de> on 2022/09/16 14:48:10 UTC

Squashing commits on Github PR merge

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