Skip to content

docs: add Git notes correcting recent commit messages#13610

Open
Planeshifter wants to merge 1 commit into
developfrom
philipp/git-notes-20260722
Open

docs: add Git notes correcting recent commit messages#13610
Planeshifter wants to merge 1 commit into
developfrom
philipp/git-notes-20260722

Conversation

@Planeshifter

Copy link
Copy Markdown
Member

Description

This pull request adds a Git note under docs/git-notes/ proposing a corrected commit message for a commit merged to develop in the last 24 hours whose trailers contain a factual error.

  • bc7c322: malformed trailer — Signed-off-by: Athan <kgryte@gmail.com> truncates the name; every other trailer referencing this email (including this same commit's own Co-authored-by and Reviewed-by lines, and 8 other occurrences across repo history) uses the full Athan Reines <kgryte@gmail.com>.

All other commits from the last 24 hours were reviewed for spelling/grammar issues, incorrect PR-URL/Closes/Ref references (verified against the GitHub API), malformed trailers, and Conventional Commits compliance — no other issues were found.

Related Issues

None.

Checklist


Generated by Claude Code

Signed-off-by: Philipp Burckhardt <pburckhardt@outlook.com>
@Planeshifter
Planeshifter marked this pull request as ready for review July 22, 2026 15:47
@Planeshifter
Planeshifter requested review from a team and kgryte July 22, 2026 15:47
@stdlib-bot stdlib-bot added the Needs Review A pull request which needs code review. label Jul 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Needs Review A pull request which needs code review.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants