area/statshelp wanted
Repository-Metriken
- Stars
- (27.997 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 8T) (378 gemergte PRs in 30 T)
Beschreibung
The internal API to create tags has two versions:
- Create from qualified stat name.
- Create from stat name plus a set of tags.
We'd like to have a third version:
- Create from stat name plus a set of tag names. Tag names match against the content of the stat to obtain values. For example, stat "a.b.c" with tag names "d.e" produces "a{d=b,e=c}". Here the separator is a dot, but could be any special character.
The benefit is two-fold:
- Save on space, instead of "a.d.b.e.c" we can share "d" and "e" symbols between stat names with different tag values.
- Simplify user experience by not required regexes to achieve the same effect.