DDi@mechelonΒ·1hef65b1cam I the only one who isn't really bothered by the new @github PR view? π 9Quote
WAWendell Adriel@WendellAdrielΒ·31m0612becIn general I liked it! I just don't know who had the great idea of "hiding" the merge button π 15:32 Β· Nov 10, 2026 Β· commit 0612becQuoteReply