Skip to content

Conversation

ghost
Copy link

@ghost ghost commented Feb 6, 2019

This PR is not supposed to be merged now.
astyle scripts will be proposed in another PR once accepted.

Then once decided by maintainers, these scripts will be applied on master branch.
From that moment, ongoing PRs will have to locally execute those scripts and push to their github fork.
astyle will have to be installed by PR authors.

@d-a-v d-a-v requested a review from igrr February 6, 2019 17:49
@d-a-v d-a-v mentioned this pull request Feb 17, 2019
@d-a-v d-a-v closed this in #5774 Feb 18, 2019
@ghost ghost deleted the allman branch May 12, 2019 23:07
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.

0 participants