Use metrics-id for sentry user id when we have it (#42931)
This should make it easier to correlate Sentry reports with user reports
and
github issues (for users who have diagnostics enabled)
Release Notes:
- N/A
a39ba03bccConrad Irwin committed on 11/17/2025, 11:44:59 PM· committed by GitHubparent2c7bcfc