Add note about not doing a squash merge for release pull-requests

[acfoltzer]

What was the rationale for changing this? Tagged commits don't get GCed from the repo, they just don't end up on main.