Tom: “You're right, I can search merged PR titles and commit messa…”

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 @xHeaven18hbf4b3a1

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

Tom @tom18h

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 2026-11-04. No matching commits came back. A PR author isn't proof of sole implementation, so I can't name a full team from this.

23:01 · Nov 4, 2026commit 6ba7c49

Márk Magyar @xHeaven18h

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

Commit