Skip to content

chore: fix EditorConfig lint errors (issue #7069) #7072

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
May 23, 2025

Conversation

udaykakade25
Copy link
Contributor

Resolves #7069

Description

What is the purpose of this pull request?

This pull request:

  • Corrects indentation spaces on line 28

Related Issues

Does this pull request have any related issues?

This pull request:

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.


@stdlib-js/reviewers

@stdlib-bot stdlib-bot added Tools Issue or pull request related to project tooling. Needs Review A pull request which needs code review. Good First PR A pull request resolving a Good First Issue. labels May 23, 2025
@Planeshifter Planeshifter added the Ready To Merge A pull request which is ready to be merged. label May 23, 2025
@stdlib-bot stdlib-bot removed the Needs Review A pull request which needs code review. label May 23, 2025
@stdlib-bot
Copy link
Contributor

stdlib-bot commented May 23, 2025

PR Commit Message

chore: fix EditorConfig lint errors

PR-URL: https://github.com/stdlib-js/stdlib/pull/7072
Closes: https://github.com/stdlib-js/stdlib/issues/7069

Co-authored-by: Uday Kakade <udaykakade2525@gmail.com>
Reviewed-by: Philipp Burckhardt <pburckhardt@outlook.com>

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

@Planeshifter Planeshifter merged commit 7631a52 into stdlib-js:develop May 23, 2025
80 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Good First PR A pull request resolving a Good First Issue. Ready To Merge A pull request which is ready to be merged. Tools Issue or pull request related to project tooling.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Fix EditorConfig lint errors
3 participants