Bring the metrics-observer protobufs up to date#345

Merged

tobz merged 6 commits intometrics-rs:mainfrom ceejbot:main

Apr 5, 2023

+116-112

Commits on Feb 27, 2023

Bring the metrics-observer protobufs up to date
ceejbot
committed

Commits on Mar 13, 2023

Clean up qualified type names.
ceejbot
committed

Commits on Mar 15, 2023

Merge branch 'metrics-rs:main' into main
ceejbot
authored

Commits on Apr 5, 2023