Paul Evans

Latest excitement: if the bridge isn't going to puppet room joins, then it can get stuck in a situation where a puppeted user needs to talk in a gitter room...

Well. Hrm. Except it turns out that public gitter rooms allow you to post into them regardless of whether you're currently a member of it anyway. As if an IRC...

I'm afraid I haven't been working for Matrix for the past few months any more. Last time I was working on it, the bridge itself has all the right pieces,...

Though I suppose without that UI in Riot et.al. there could be a provisioning method involving sending a direct message to the bridge bot user somehow. That would be a...

In particular, the following problems (moved from #31) all go away if the bridge gets full bidirectional puppeting in both directions simultaneously: 1. When a real gitter user uses their...

Also on startup we should do a full membership comparison between the two sides, and remove any ghosts that shouldn't be there any more, in case gitter users departed while...

Commit 8741632 now removes matrix-side ghosts when the real gitter user leaves the room. Still remaining is startup-time cleanup code.

Code now sitting live has an admin command to request a cleanup of one room. I've run that on `#matrix-dev` and it seems to work fine. I'll push it onto...

Found a huge problem - gitter's `room.users()` only returns 100 users at a time. Had to add some looping code using the `skip` argument, with a bit of overlap to...

That's now running live, cleaning up all the should-have-departed-already users across all rooms. It's heavily rate-limited on the gitter API side, so I expect it will be an hour or...