Skip to content

Remove get_ prefixes from Git helpers - #2438

Merged
j178 merged 1 commit into
masterfrom
git-names
Jul 29, 2026
Merged

Remove get_ prefixes from Git helpers#2438
j178 merged 1 commit into
masterfrom
git-names

Conversation

@j178

@j178 j178 commented Jul 29, 2026

Copy link
Copy Markdown
Owner

Follow-up to #2437.

Copilot AI review requested due to automatic review settings July 29, 2026 03:58

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@j178 j178 added the internal Internal changes label Jul 29, 2026 — with ChatGPT Codex Connector
@codecov

codecov Bot commented Jul 29, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 95.55556% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 93.55%. Comparing base (3ac4f9e) to head (27795be).
⚠️ Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
crates/prek/src/git.rs 93.33% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #2438      +/-   ##
==========================================
- Coverage   93.56%   93.55%   -0.02%     
==========================================
  Files         130      130              
  Lines       28050    28052       +2     
==========================================
- Hits        26245    26243       -2     
- Misses       1805     1809       +4     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@j178
j178 merged commit 0e6d9cf into master Jul 29, 2026
35 checks passed
@j178
j178 deleted the git-names branch July 29, 2026 04:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Internal changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants