Skip to content

chore: fix EditorConfig lint errors #6992 #7001

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 4 commits into from
May 20, 2025

Conversation

LalitNarayanYadav
Copy link
Contributor

Resolves #6992

Checklist


@stdlib-js/reviewers

Signed-off-by: Lalit Narayan Yadav <162928571+LalitNarayanYadav@users.noreply.github.com>
Signed-off-by: Lalit Narayan Yadav <162928571+LalitNarayanYadav@users.noreply.github.com>
Signed-off-by: Lalit Narayan Yadav <162928571+LalitNarayanYadav@users.noreply.github.com>
Signed-off-by: Lalit Narayan Yadav <162928571+LalitNarayanYadav@users.noreply.github.com>
@stdlib-bot stdlib-bot added Needs Review A pull request which needs code review. Good First PR A pull request resolving a Good First Issue. labels May 14, 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.

Thanks!

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

PR Commit Message

chore: fix EditorConfig lint errors #6992

PR-URL: https://github.com/stdlib-js/stdlib/pull/7001
Closes: https://github.com/stdlib-js/stdlib/issues/6992

Reviewed-by: Philipp Burckhardt <pburckhardt@outlook.com>
Signed-off-by: Lalit Narayan Yadav <162928571+LalitNarayanYadav@users.noreply.github.com>

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

@Planeshifter Planeshifter merged commit 3723b66 into stdlib-js:develop May 20, 2025
65 of 66 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.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Fix EditorConfig lint errors
3 participants