GitHub (Jan 10 2020 at 22:15): GitHub (Jan 10 2020 at 22:15):sunfishcode opened PR #1334 from remember to master:
With all the sleeps between commands, the publish script takes a few
miniutes to run, and it can be easy to forget to create the PR when it
finishes. Add a reminder to be displayed at the end of the script.(Skipping the template because this is a simple change.)
GitHub (Jan 10 2020 at 22:15):sunfishcode requested bnjbvr for a review on PR #1334.
GitHub (Jan 13 2020 at 10:04):bnjbvr submitted PR Review.
GitHub (Jan 13 2020 at 10:04):bnjbvr merged PR #1334.
Last updated: Nov 22 2024 at 16:03 UTC