@witty-crayon-22786 - release notes are ready to go. Should I wait for your work on https://github.com/pantsbuild/pants/pull/4622 or merge https://github.com/pantsbuild/pants/pull/4625 ?