MMMárk Magyar@xHeaven·5d3f1e2a2This is really, really cool!QuotingJBJulien Bianchi@jubianchi·5dTeasing 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 GitHubcommitc294b693Quote
JBJulien Bianchi@jubianchi·5da12416d🙏🏻 any idea is welcome! Will open the code tonight I hope with the first release.17:14 · Oct 31, 2026 · commit a12416d1QuoteReply