Allow squashing when merging #200
Description
Investigate if it’s possible to add squash as a valid merge strategy. If PRs A and B are in the same merge batch, the commit history should be
- <… old commits>
- Merge PR A
- Merge PR B
{{ message }}
Investigate if it’s possible to add squash as a valid merge strategy. If PRs A and B are in the same merge batch, the commit history should be