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

Remove files metric. #182

Merged
merged 2 commits into from Mar 24, 2019
Merged

Remove files metric. #182

merged 2 commits into from Mar 24, 2019

Conversation

mwz
Copy link
Member

@mwz mwz commented Mar 24, 2019

This metric is now computed by the platform.

Closes #181.

@mwz mwz merged commit 7dc132c into master Mar 24, 2019
@mwz mwz deleted the remove-files-metric branch March 24, 2019 18:01
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