Add a setting that allows a PR merge to skip a release.
Add a setting that allows a PR merge to skip a release.