Closed pieterbrandsen closed 4 years ago
This pull request will be automatically merged by worlddriven in 9 day(s) and 23 hour(s).
The start date is based on the latest Commit date / Pull Request created date / (force) Push date.
The time to merge is 5 days plus 5 days for each commit.
Check the worlddriven
status check or the dashboard for actual stats.
To speed up or delay the merge review the pull request:
Thank you for the review. This pull request will be automatically merged by worlddriven in 14 day(s) and 18 hour(s). Current votes: -316/661.
Check the worlddriven
status checks or the dashboard for actual stats.
The branch of this pull request was updated so the auto-merge time has been reset.
It will be automatically merged by worlddriven in 22 day(s) and 4 hour(s).
Check the worlddriven
status check or the dashboard for actual stats.
Thank you for the review. This pull request will be automatically merged by worlddriven in 7 day(s) and 19 hour(s). Current votes: 316/661.
Check the worlddriven
status checks or the dashboard for actual stats.
No problem
This pull request was merged by worlddriven.
Small read update, I think myself it's better/cleaner in this way.
If you look at the other cases mostly it's done in this way instead of '+'.