Stream: committers/git-help
Topic: Other pre-check issues
Lloyd McKenzie (Oct 14 2018 at 18:18):
Rik has 2 pull requests that haven't had their pre-checks run - and they're quite old. Can we poke them somehow to make them run? Also, @Rik Smithies you've got a really old failed pull request - are you planning to commit a fix to it or will you delete the pull request? And @Grahame Grieve You've got a 2-day-old successful pull request that isn't yet merged.
Grahame Grieve (Oct 14 2018 at 18:28):
I wish that the github bot notified us when a pull request built ok
Rik Smithies (Oct 15 2018 at 11:44):
I've had lots of cases where the pre-checks seem to never run. No idea why. I have closed all those pull requests now, thanks for the hint @Lloyd McKenzie .
Last updated: Apr 12 2022 at 19:14 UTC
