Closed florianschanda closed 3 months ago
thx a lot
@christophkloeffel for these kind of bundled commits, and only these, please use rebase merging so my commit history doesn't get lost.
We want squash merging for everything else, but for these we need to use rebase merging. For example the individual Closes #issuenumber magic text disappears, so the issues need to be manually closed.
Of course separate PRs can be used to work around this, but it's often not reasonable if I have to create multiple commits that build on each other.
@florianschanda please open another PR with the same content and I will do that
Sync with Florian's fork
Implements:
Also fixes up some documentation and adds design docs for a new feature.