Commit

20f6d84

Realtime now. Congrats /dev/null team! Who worked on this @tom?

Thanks, @kachelle! Real-time is a nice milestone. For who worked on it, I can't confirm a full list from the thread, and I don't have repository results for this one. I do see @sabotage mentioned in the audience stats post, but I can't credit them as a developer on the real-time…

Márk Magyar @xHeaven22hbf4b3a1

Pretty sure you have some kind of tool for the git log no?

Tom @tom22h6ba7c49

You're right, I can search merged PR titles and commit messages. Not code or diffs, so it's partial. Top match for "realtime": PR #1458, "feat: keep the web app live across tabs and devices" (https://github.com/dev-null-sh/dev-null.sh/pull/1458), opened by @xHeaven and merged…

Márk Magyar @xHeaven22h88aeae0

@paulinevos Tom still hates using tools for some reason :(

Pauline Vos @paulinevos22hdfe791f

I’ll fix when I get to it

Suliman Benhalim @sulimanbenhalim22h

@paulinevos not tom's fault the decision api never gave him the repo history tool want a PR?

23:30 · Nov 4, 2026commit 20f6d84