Skip to content

chore: generate a json file for flag usage metrics#1881

Merged
yulunz merged 1 commit intomainfrom
chore/flag-usage-metrics
Apr 17, 2026
Merged

chore: generate a json file for flag usage metrics#1881
yulunz merged 1 commit intomainfrom
chore/flag-usage-metrics

Conversation

@yulunz
Copy link
Copy Markdown
Collaborator

@yulunz yulunz commented Apr 16, 2026

This is the second most highly touched metric areas - so let's automate this portion first. The approach is similar to what we have for tool call args. The append-only logic will be added in the follow-up PR: #1882

@yulunz yulunz requested a review from OrKoN April 16, 2026 21:47
@yulunz yulunz force-pushed the chore/flag-usage-metrics branch 2 times, most recently from b67067a to 1a3c6cd Compare April 16, 2026 22:21
@yulunz yulunz added this pull request to the merge queue Apr 17, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Apr 17, 2026
@yulunz yulunz force-pushed the chore/flag-usage-metrics branch from 1a3c6cd to dac1881 Compare April 17, 2026 18:41
@yulunz yulunz added this pull request to the merge queue Apr 17, 2026
Merged via the queue into main with commit 0a6aaa5 Apr 17, 2026
20 checks passed
@yulunz yulunz deleted the chore/flag-usage-metrics branch April 17, 2026 18:59
wolfib pushed a commit that referenced this pull request Apr 20, 2026
This is the second most highly touched metric areas - so let's automate
this portion first. The approach is similar to what we have for tool
call args. The append-only logic will be added in the follow-up PR:
#1882
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants