Skip to content

[TASK] Remove grumphp - #46

Merged
michield merged 1 commit into
masterfrom
task/drop-grumphp
May 27, 2017
Merged

[TASK] Remove grumphp#46
michield merged 1 commit into
masterfrom
task/drop-grumphp

Conversation

@oliverklee

Copy link
Copy Markdown
Contributor

Grumphp is not wired correctly yet to the CI process, and the configuration
is incomplete. We better configure the code quality tools directly in the
.travis.yml.

@oliverkleeoliverklee self-assigned this May 26, 2017
@oliverklee
oliverklee requested a review from michieldMay 26, 2017 13:09
@oliverkleeoliverklee mentioned this pull request May 26, 2017
48 tasks
Grumphp is not wired correctly yet to the CI process, and the configuration
is incomplete. We better configure the code quality tools directly in the
.travis.yml.
@michield
michield merged commit f71073b into masterMay 27, 2017
@oliverklee
oliverklee deleted the task/drop-grumphp branch May 27, 2017 14:28
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

@oliverklee@michield