Dupe https://news.ycombinator.com/item?id=49994027

I was cursing at Codex for failing to push a PR. Trying a bunch of obscure methods one after another.. These tools should be trained to expect that GitHub going down is perfectly normal.