05/07/2025

Thread

Tweet 1

@theo An example from my own use

---

Tweet 2

@theo Two things not obvious from the screenshot: 1. It was my PR to begin with 2. It really all did work at the end

---