This is a proposal to get a cleaner commit history in the future.
So far all commits of a PR are merged in the develop branch. E.g. if my PR contains 20 commits (all my tries until I got the right result) they will all remain in the history of this git repo.
I think we should squash these commits, so only 1 commit (which contains all stuff of the e.g. 20 commits delivered) is merged for every PR. This will result in a cleaner history.
To achieve this the settings of this project must be changed, see .e.g. these links:
So this is as usual @MichMich decision ...
This is a proposal to get a cleaner commit history in the future.
So far all commits of a PR are merged in the
developbranch. E.g. if my PR contains 20 commits (all my tries until I got the right result) they will all remain in the history of this git repo.I think we should squash these commits, so only 1 commit (which contains all stuff of the e.g. 20 commits delivered) is merged for every PR. This will result in a cleaner history.
To achieve this the settings of this project must be changed, see .e.g. these links:
So this is as usual @MichMich decision ...