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