Skip to content

[Improvement] Add configuration for editorconfig plugin#7582

Closed
JinsYin wants to merge 1 commit into
apache:devfrom
JinsYin:dev05-editorconfig
Closed

[Improvement] Add configuration for editorconfig plugin#7582
JinsYin wants to merge 1 commit into
apache:devfrom
JinsYin:dev05-editorconfig

Conversation

@JinsYin
Copy link
Copy Markdown
Contributor

@JinsYin JinsYin commented Dec 23, 2021

Purpose of the pull request

Add configuration for editorconfig plugin.

@JinsYin
Copy link
Copy Markdown
Contributor Author

JinsYin commented Dec 23, 2021

For the CI results, I don't think the editorconfig file needs to add license header.

@songjianet
Copy link
Copy Markdown
Member

Thank you for your contribution, but since this issue has not been dealt with for a long time, I will close it. If you still have problems in the future, you can re-submit a new issue.

@songjianet songjianet closed this Mar 1, 2022
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.

2 participants