sarah tonin :wlfBlep: on Nostr: also i hate hate hate how github will show you a big bright green button to merge if ...

also i hate hate hate how github will show you a big bright green button to merge if it succesfully merges and passes ci, but doesn't run ci on the merge itself, which is bad bc a succesful merge doesn't guarantee a working commit