Skip to content

Conversation

@batpigandme
Copy link
Contributor

@batpigandme batpigandme commented Dec 19, 2025

Description

What is the purpose of this pull request?

This pull request: is a continuation of #8923 that includes files missed in my IDE search. Committed with --no-verify as warnings were unrelated to this PR, and I didn't want to change anything in the package publishing workflow (happy to make the edits if you think they're legit).

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.

No.

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

If you answered "yes" to using AI assistance, please provide a short disclosure indicating how you used AI assistance. This helps reviewers determine how much scrutiny to apply when reviewing your contribution. Example disclosures: "This PR was written primarily by Claude Code." or "I consulted ChatGPT to understand the codebase, but the proposed changes were fully authored manually by myself.".

{{TODO: add disclosure if applicable}}


@stdlib-js/reviewers

@stdlib-bot stdlib-bot added the Needs Review A pull request which needs code review. label Dec 19, 2025
Copy link
Member

@Planeshifter Planeshifter left a comment

Choose a reason for hiding this comment

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

LGTM! And agreed it's better to keep the PR self-contained in this case and accept the lint error, which we can resolve in a follow-up later.

@Planeshifter Planeshifter added the Ready To Merge A pull request which is ready to be merged. label Dec 19, 2025
@stdlib-bot stdlib-bot removed the Needs Review A pull request which needs code review. label Dec 19, 2025
@stdlib-bot
Copy link
Contributor

PR Commit Message

docs: replace lingering Gitter links

PR-URL: https://github.com/stdlib-js/stdlib/pull/9255
Ref: https://github.com/stdlib-js/stdlib/issues/8923

Reviewed-by: Philipp Burckhardt <pburckhardt@outlook.com>

Please review the above commit message and make any necessary adjustments.

@Planeshifter Planeshifter merged commit efb5de0 into stdlib-js:develop Dec 19, 2025
51 of 52 checks passed
@stdlib-bot stdlib-bot removed the Ready To Merge A pull request which is ready to be merged. label Dec 19, 2025
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