-
-
Notifications
You must be signed in to change notification settings - Fork 429
Use active voice and remove note about PHPUnit #6907
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
Looking at the source code, I ask myself what this has to do with PHPUnit |
|
Thank you @simonschaufi , it seems was copy paste from phpunit rules. |
|
One question: how and when is the documentation here https://getrector.com/find-rule?query=RemoveUselessReturnTagRector rendered again? |
|
oh and can you please adjust in the repo settings that the HEAD branch get's deleted after a merge? That would be great! |
|
The web is deployed per 06.30 and 00.30 daily iirc, I am on mobile now, should be next 3 or 4 hours. we were try to not use squash on merge, but cause issues on us due to auto commit and build usage iirc, so we back to squash on merge again. |
|
Ok, good to know. I'm not talking about the merge strategy but that my PR branch get's deleted after merge. This can only be set in the repo settings. |
|
Oh, I don't have admin access for that, @TomasVotruba should be able to set that |
|
about auto remove PR branch, probably on purpose due to auto PR weekly so it keep sync |
|
This pull request has been automatically locked because it has been closed for 150 days. Please open a new PR if you want to continue the work. |
No description provided.