I noticed that PRs were github squash-merged without their history. Was this discussed? I think the history perhapswould be nice to vaguely track the discussion prior to merge.
2 Likes
I noticed that PRs were github squash-merged without their history. Was this discussed? I think the history perhapswould be nice to vaguely track the discussion prior to merge.