JBJulien Bianchi@jubianchi·5d8766047Teasing from https://github.com/jubianchi/github-dev-nulljubianchi/github-dev-null (still private): here's what you will be able to do oin /dev/null directly from GitHubcommitc294b6917:08 · Oct 31, 2026 · commit 87660471QuoteReplyHide repliesMMMárk Magyar@xHeavenquoted·5dThis is really, really cool!3Reply1 reply