Skip to content
This repository has been archived by the owner on Aug 23, 2023. It is now read-only.

emit the current MT version as a metric #1041

Merged
merged 3 commits into from
Sep 11, 2018
Merged

emit the current MT version as a metric #1041

merged 3 commits into from
Sep 11, 2018

Conversation

woodsaj
Copy link
Member

@woodsaj woodsaj commented Sep 11, 2018

No description provided.

@Dieterbe
Copy link
Contributor

needs an update to docs/metrics.md

Copy link
Contributor

@Dieterbe Dieterbe left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

.

woodsaj added 2 commits September 11, 2018 20:21
Updated all missing comments from metrics then regenerated
docs/metrics.md using metrics2docs
@Dieterbe Dieterbe merged commit c6efc0e into master Sep 11, 2018
@Dieterbe Dieterbe deleted the versionMetric branch September 18, 2018 08:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants