Closed BarbourSmith closed 5 years ago
Congratulations on the pull request @BarbourSmith
Now we need to decide as a community if we want to integrate these changes. You should vote by giving this comment a thumbs up or a thumbs down. Votes are counted in 48 hours. Ties will not be merged.
I'm just a robot, but I love to see people contributing so I'm going vote thumbs up (but my vote won't count...)!
@BarbourSmith , if we commit this PR manually now the robot should correctly handle PR#801... I'm very tempted to try 😁
Merging this PR manually. If this PR is successful, then PR#801 should complete the voting correctly in about 5 hours 15 minutes.
Excellent!! Good choice on the merge so we get a nice test of what is going on 👍👍
The robot has not automatically been merging pull requests for this repo. It could be because we are setting the time to merge wrong. This pull request sets the value back to the default of 48.