[PR #269] [MERGED] tool contract for stats #371

Closed
opened 2026-03-02 04:13:26 +03:00 by kerem · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/git-ai-project/git-ai/pull/269
Author: @acunniffe
Created: 12/6/2025
Status: Merged
Merged: 12/6/2025
Merged by: @acunniffe

Base: mainHead: fix/stats-tool-contract


📝 Commits (1)

📊 Changes

1 file changed (+47 additions, -20 deletions)

View changed files

📝 src/authorship/stats.rs (+47 -20)

📄 Description

Tools were getting invalid ai_additions in stats. Made it consistent with the top level definition: accepted + mixed


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/git-ai-project/git-ai/pull/269 **Author:** [@acunniffe](https://github.com/acunniffe) **Created:** 12/6/2025 **Status:** ✅ Merged **Merged:** 12/6/2025 **Merged by:** [@acunniffe](https://github.com/acunniffe) **Base:** `main` ← **Head:** `fix/stats-tool-contract` --- ### 📝 Commits (1) - [`d18e1c4`](https://github.com/git-ai-project/git-ai/commit/d18e1c48891d5a57c095d5da7a0e259ca190ddd5) tool contract for stats ### 📊 Changes **1 file changed** (+47 additions, -20 deletions) <details> <summary>View changed files</summary> 📝 `src/authorship/stats.rs` (+47 -20) </details> ### 📄 Description Tools were getting invalid `ai_additions` in stats. Made it consistent with the top level definition: accepted + mixed --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
kerem 2026-03-02 04:13:26 +03:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
starred/git-ai#371
No description provided.