mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* [dashboard] unify error reporting move error boundary to general error reporting endpoint as well * add user to common details * fix common properties in metrics