Skip to content

Conversation

@PeterDaveHello
Copy link
Member

Add EditorConfig with common settings and settings for *.sh, should extend to other files soon.

cc #728

@PeterDaveHello PeterDaveHello requested review from a team and removed request for a team May 14, 2018 11:38
@PeterDaveHello
Copy link
Member Author

This should wait for #729 being merged, and do a rebase with master branch, fix EditorConfig issues based on the latest master branch.

@PeterDaveHello PeterDaveHello removed the request for review from a team May 14, 2018 11:41
@PeterDaveHello PeterDaveHello changed the title Introduce EditorConfig [Docker] Introduce EditorConfig May 14, 2018
@chorrell chorrell mentioned this pull request May 14, 2018
chorrell

This comment was marked as off-topic.

@PeterDaveHello PeterDaveHello changed the title [Docker] Introduce EditorConfig Introduce EditorConfig May 15, 2018
LaurentGoderre

This comment was marked as off-topic.

chorrell

This comment was marked as off-topic.

@LaurentGoderre LaurentGoderre merged commit 42eae25 into master May 15, 2018
@LaurentGoderre LaurentGoderre deleted the editorocnfig branch May 15, 2018 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants