mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-13 23:14:53 +09:00
Add exported metrics that map instance id and slave id to their respective names. This allows getting the instance name of a metric by doing a left join using query of the form 'metric * on(instance_id) group_left(instance_name) clusterio_master_instance_mapping'.