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
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