Skip to content

Conversation

@ShreelaxmiHegde
Copy link
Contributor

Resolves #9638.

Description

What is the purpose of this pull request?

This pull request:

  • Fixes editorConfig 'wrong indent style found' error.

Related Issues

Does this pull request have any related issues?

This pull request has the following related issues:

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 Needs Review A pull request which needs code review. Good First PR A pull request resolving a Good First Issue. labels Jan 9, 2026
@ShreelaxmiHegde ShreelaxmiHegde changed the title fix: wrong indent styling error chore: fix EditorConfig lint errors (issue #9638) Jan 9, 2026
@kgryte kgryte removed the Needs Review A pull request which needs code review. label Jan 9, 2026
@kgryte
Copy link
Member

kgryte commented Jan 9, 2026

As the CI failure is expected, I'll go ahead and merge.

@kgryte kgryte merged commit bb3344f into stdlib-js:develop Jan 9, 2026
53 of 54 checks passed
@ShreelaxmiHegde ShreelaxmiHegde deleted the fix/editorconfig-9638 branch January 10, 2026 06:34
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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix EditorConfig lint errors

3 participants