2 comments

[ 270 ms ] story [ 2883 ms ] thread
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.