Skip to content

Replace JakubOnderka/PHP-Parallel-Lint#341

Closed
villfa wants to merge 1 commit intoanalysis-tools-dev:masterfrom
villfa:patch-1
Closed

Replace JakubOnderka/PHP-Parallel-Lint#341
villfa wants to merge 1 commit intoanalysis-tools-dev:masterfrom
villfa:patch-1

Conversation

@villfa
Copy link
Copy Markdown

@villfa villfa commented Apr 10, 2020

JakubOnderka/PHP-Parallel-Lint has been marked as abandoned and has been replaced by php-parallel-lint/PHP-Parallel-Lint.

JakubOnderka/PHP-Parallel-Lint has been marked as abandoned and has been replaced by php-parallel-lint/PHP-Parallel-Lint
mre added a commit that referenced this pull request Apr 11, 2020
@mre
Copy link
Copy Markdown
Member

mre commented Apr 11, 2020

Thanks @villfa!
I manually merged that because the project structure has changed with #340.
We use a machine-readable format now; linter data is located in data/data.yml.
This allows rendering and filtering the list in other ways now.
Thanks for your contribution. 🐤

@mre mre closed this Apr 11, 2020
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