Skip to content

docs: add Git note - #13610

Merged
kgryte merged 1 commit into
developfrom
philipp/git-notes-20260722
Jul 22, 2026
Merged

kgryte merged 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
@kgryte kgryte changed the title docs: add Git notes correcting recent commit messages docs: add Git note Jul 22, 2026
@kgryte
kgryte merged commit bd358c9 into develop Jul 22, 2026
33 checks passed
@kgryte
kgryte deleted the philipp/git-notes-20260722 branch July 22, 2026 22:52
@stdlib-bot stdlib-bot removed 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

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants