[PR #223] [MERGED] shave 100 ms off every checkpoint #341

New issue

Closed

opened 2026-03-02 04:13:21 +03:00 by kerem · 0 comments

kerem commented

2026-03-02 04:13:21 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/git-ai-project/git-ai/pull/223
Author: @acunniffe
Created: 11/15/2025
Status: ✅ Merged
Merged: 11/15/2025
Merged by: @acunniffe

Base: main ← Head: fix/checkpoint-perf

📝 Commits (4)

d197508 don't double compute line stats
76dd2ac fixes
2c49548 cleanup
4fe2e84 remove from struct

📊 Changes

1 file changed (+72 additions, -103 deletions)

View changed files

📝 src/commands/checkpoint.rs (+72 -103)

📄 Description

The "Aidan edited 2 of 4 files..." log line from checkpoint command was calling git diff to get its line stats. Redundant, slow, most people will never see it since Agents use Checkpoint

_{🔄 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/223 **Author:** [@acunniffe](https://github.com/acunniffe) **Created:** 11/15/2025 **Status:** ✅ Merged **Merged:** 11/15/2025 **Merged by:** [@acunniffe](https://github.com/acunniffe) **Base:** `main` ← **Head:** `fix/checkpoint-perf` --- ### 📝 Commits (4) - [`d197508`](https://github.com/git-ai-project/git-ai/commit/d19750881ab4b363c89ff4316231722c21b400da) don't double compute line stats - [`76dd2ac`](https://github.com/git-ai-project/git-ai/commit/76dd2ac9b0a9c7b2567699e2059d29a8b10fe47b) fixes - [`2c49548`](https://github.com/git-ai-project/git-ai/commit/2c495486c6c3ccf8c7866f0b7d7e1a061f05bff1) cleanup - [`4fe2e84`](https://github.com/git-ai-project/git-ai/commit/4fe2e84aaf7665047796fe11e06cf355e5c61b25) remove from struct ### 📊 Changes **1 file changed** (+72 additions, -103 deletions) <details> <summary>View changed files</summary> 📝 `src/commands/checkpoint.rs` (+72 -103) </details> ### 📄 Description The "Aidan edited 2 of 4 files..." log line from checkpoint command was calling git diff to get its line stats. Redundant, slow, most people will never see it since Agents use Checkpoint --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>