Skip to content

docs: add Git note - #13724

Merged
kgryte merged 1 commit into
developfrom
philipp/git-notes-20260728
Jul 28, 2026
Merged

kgryte merged 1 commit into
developfrom
philipp/git-notes-20260728

Conversation

@Planeshifter

Copy link
Copy Markdown
Member

Resolves none.

Description

What is the purpose of this pull request?

This pull request:

  • Adds a docs/git-notes/ entry recording a corrected commit message for a commit merged to develop in the last 24 hours, found via an automated audit of recent commit messages.

Flagged commit:

  • 9fde4be51: spelling typo in subject — the commit message reads math/base/specia/exp but the actual package touched (verified via git show --stat) is math/base/special/exp. The PR-URL (test: migrate math/base/special/exp to ULP-based testing #13687) is correct — it is the PR that merged this commit, and the typo originated in the PR title itself. Only the misspelled identifier in the subject is corrected; all trailers (PR-URL, Reviewed-by, Ref) are preserved unchanged.

Related Issues

Does this pull request have any related issues?

No.

Questions

Any questions for reviewers of this pull request?

No.

Other

Any other information relevant to this pull request? This may include screenshots, references, and/or implementation notes.

All other commits merged to develop in the last 24 hours (23 total, excluding merges) were checked and found to have correct PR-URL/Closes/Ref trailers (verified against the GitHub API for all references within stdlib-js/stdlib; cross-repo metr-issue-tracker references were left unverified as out of scope for this repo's API access) and no other spelling/grammar or trailer defects, so no additional notes were added.

Checklist

Please ensure the following tasks are completed before submitting this pull request.

AI Assistance

When authoring the changes proposed in this PR, did you use any kind of AI assistance?

  • Yes
  • No

If you answered "yes" above, how did you use AI assistance?

  • Code generation (e.g., when writing an implementation or fixing a bug)
  • Test/benchmark generation
  • Documentation (including examples)
  • Research and understanding

Disclosure

This PR was generated by an automated Claude Code routine that audits commits merged to develop in the prior 24 hours for spelling errors, incorrect PR-URL/Closes/Ref references, and malformed trailers, then proposes corrections as docs/git-notes/ entries rather than rewriting history. A maintainer should review and promote out of draft.


@stdlib-js/reviewers


Generated by Claude Code

Signed-off-by: Philipp Burckhardt <pburckhardt@outlook.com>
@Planeshifter
Planeshifter marked this pull request as ready for review July 28, 2026 16:17
@Planeshifter
Planeshifter requested review from a team and kgryte July 28, 2026 16:17
@stdlib-bot stdlib-bot added the Needs Review A pull request which needs code review. label Jul 28, 2026
@kgryte kgryte changed the title docs: add Git notes correcting recent commit messages docs: add Git note Jul 28, 2026
@kgryte
kgryte merged commit 416e76d into develop Jul 28, 2026
33 checks passed
@kgryte
kgryte deleted the philipp/git-notes-20260728 branch July 28, 2026 20:40
@kgryte kgryte removed the Needs Review A pull request which needs code review. label Jul 28, 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.

4 participants