$ git push --tags https://github.com/pex-tool/lambdex HEAD:main
The release to PyPI is automated but requires approval from at least one Core or Maintainers team
member. These folks will all get an email with a link to the GitHub release workflow to do this.
Alternatively, they can open the Release workflow
[here](https://github.com/pex-tool/lambdex/actions?query=workflow%3ARelease) and navigate to the
release approval widget.