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.
Same but w/ Claude Code. Was wondering why I was getting internal server errors when trying to push.