chore: do not commit#7191
Conversation
Signed-off-by: Gil Levkovich <69595609+glevkovich@users.noreply.github.com>
🤖 Augment PR SummarySummary: Adds a single comment above 🤖 Was this summary useful? React with 👍 or 👎 |
![augmentcode[bot]](https://avatars.githubusercontent.com/in/1027498?s=60&v=4){kind=small}
| } | ||
|
|
||
| // Dummt comment | ||
| void ResetStats() { |
There was a problem hiding this comment.
The added comment has a typo ("Dummt") and looks like an accidental/dummy change; keeping it in production code will add noise for future readers.
Severity: low
🤖 Was this useful? React with 👍 or 👎, or 🚀 if it prevented an incident/outage.
|
|
||
| // Dummt comment | ||
| void ResetStats() { | ||
| auto& cstats = tl_facade_stats->conn_stats; |
There was a problem hiding this comment.
PR title/description explicitly say "do not commit/do not merge" and don’t follow the repo’s PR guidelines for descriptive titles/summaries (Rule: AGENTS.md); you may want to close/convert this to a non-dummy PR before merging.
Severity: medium
🤖 Was this useful? React with 👍 or 👎, or 🚀 if it prevented an incident/outage.
1 participant
This is a dummy PR. do not merge.