01:36:24 tobtoht: Would you mind making it so that CI will run on PRs by pr-patch-bot? 01:37:29 theyll run after one is merged 01:38:53 I thought one already did, but maybe I'm wrong 01:39:03 s/did/was/ 01:46:55 Nope 11:37:04 .merge+ 10678 10680 10683 10687 16:57:25 jeffro256: Thanks <3 18:29:51 .merge+ 10672 10660 10627 18:29:51 Added 19:27:32 .merge+ 10608 #10603 19:27:32 Added 19:34:30 .merge+ 10429 19:34:30 Added 21:53:28 .merge+ 10670 21:53:28 Added 21:53:32 .merges 21:53:32 10309 10512 10531 10533 10543 10670 10680