Skip to content

Enhancement: Add .editorconfig - #554

Merged
cmb69 merged 1 commit into
php:masterfrom
localheinz:feature/editorconfig
Jun 27, 2022
Merged

Enhancement: Add .editorconfig#554
cmb69 merged 1 commit into
php:masterfrom
localheinz:feature/editorconfig

Conversation

@localheinz

@localheinzlocalheinz commented Jun 17, 2022

Copy link
Copy Markdown
Contributor

This pull request

  • adds a basic .editorconfig

Follows #541 (comment).

💁‍♂️ For reference, see https://editorconfig.org.

@localheinz

Copy link
Copy Markdown
ContributorAuthor

Are there any objections to merging this pull request?

@cmb69

Copy link
Copy Markdown
Member

This looks pretty uncontroversial, and we use .editorconfig already in several other php repositories, so I'm going to merge. Thanks for the PR!

@cmb69
cmb69 merged commit 51b196d into php:masterJun 27, 2022
@localheinz
localheinz deleted the feature/editorconfig branch June 27, 2022 17:33
@localheinz

Copy link
Copy Markdown
ContributorAuthor

Thank you, @cmb69!

Sign up for freeto 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

@localheinz@cmb69