Describe the Bug

pyrefly version 0.51.2 is available on PyPI, but there is no matching Git tag in the repository. This makes it difficult to correlate the published artifact to source when debugging regressions.

GitHub tags: https://github.com/facebook/pyrefly/tags

PyPI release: https://pypi.org/project/pyrefly/0.51.2/

Suspected commit
781f4a8 appears to be the commit corresponding to 0.51.2.

Expected behavior
A tag (e.g., 0.51.2) exists pointing at the commit used to build/publish the PyPI package.

Actual behavior
No tag for 0.51.2 is present.

Additional info
Sandbox link: N/A
IDE info: N/A

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response