| 22 Aug 2021 |
 schuelermine | Oh, now it works | 13:17:40 |
| schuelermine | It didn’t, previously | 13:17:44 |
| schuelermine | (I had spaces on, tho) | 13:18:03 |
|  siraben changed their display name from siraben (he/him) to siraben. | 16:16:58 |
| 25 Aug 2021 |
|  6aa4fd joined the room. | 23:11:13 |
| 2 Sep 2021 |
 sumner | Now that RFC94 is merged, I'd like to suggest the following strategy for migrating the old IRC bot functionality over to Matrix:
- Create a #notifications:nixos.org room (or similar) for all bot notification posts. This would include nix-channel-monitor posts and PR notificatio for example.
- Evaluate all of the functionality that
{^_^} provides and determine if it can be accomplished with existing bots (existing GitHub bots for example). I suggest that we prefer using those solutions if possible.
- For all of the other functionality, migrate them to post natively to Matrix instead of the existing queue system. This will allow them to have richer functionality (for example, the eval bot can reply to a specific message with the result of the evaluation rather than spitting it into the void).
- Add the
{^_^} bot to #nix:nixos.org with only user-interactive functionality. For example, evaluating Nix code blocks.
| 15:02:31 |
| 3 Sep 2021 |
|  edrex joined the room. | 16:40:20 |
| edrex | I'm noticing nested rooms inside the NixOS space are opening outside the space (Element/web). Assuming this is a know issue? | 16:41:42 |
| edrex | (eg Community/#Spectrum, Topics/Flakes) | 16:44:21 |
| sumner | Are you a member of the subspaces? | 16:45:03 |
| edrex | didn't realize i could be. no, i think | 16:48:20 |
| edrex | ok, i guess channel -> space inclusion isn't transitive | 16:49:58 |
| edrex | that sorta makes sense. seems like NixOS/Topics isn't that useful of a space subset then (since it's more of a type than a subject) | 16:51:28 |
| edrex | but i guess reorganizing things post hoc would break everyone's memberships :/ | 16:52:17 |
| edrex | maybe they'll change the behavior so if you're not in the child space, channel -> space propogates up the tree | 16:53:24 |
| edrex | seems like a more sensible UX. | 16:53:43 |
| edrex | * ok, i guess channel -> space inclusion isn't ~~transitive~~ inherited up the tree | 16:54:48 |
| sumner | There is an issue in the element-web tracker for exactly that: https://github.com/vector-im/element-web/issues/17293 | 16:57:21 |
| edrex | * ok, i guess channel -> space inclusion isn't transitive <i>inherited up the tree</i> | 16:57:39 |
| edrex | excellent. thanks sumner for routing me to the issue | 17:01:35 |
| 4 Sep 2021 |
|  Emil Karlson joined the room. | 05:42:35 |
| Emil Karlson | not sure who is maintaining the spacesbot, but it should send read receipts on libera.chat | 05:43:14 |
| Emil Karlson | https://github.com/matrix-org/matrix-appservice-irc/issues/1194#issuecomment-882499277 | 05:43:56 |
 andi- | In reply to @jkarlson:kapsi.fi
not sure who is maintaining the spacesbot, but it should send read receipts on libera.chat I do and I realized that some time ago... Time to figure out how that works without actually reading stuff. | 12:44:03 |
| Emil Karlson | hmm, what do you mean by reading, requesting the data from the server? | 12:45:07 |
| Emil Karlson | I don't know the protocol, I thought read receipts were something you explicitly send from the client, based on whatever the user actually reads as client can detect window focus or whatnot | 12:46:30 |
| sumner | What is spacesbot written in? | 13:02:01 |
| andi- | In reply to @sumner:sumnerevans.com
What is spacesbot written in? python using NIO with a custom implementation for the spaces API | 13:05:57 |
| andi- | (as that isn't set in stone yet...) | 13:06:28 |
| sumner | https://matrix-nio.readthedocs.io/en/latest/nio.html#nio.AsyncClient.room_read_markers is the function you want for setting read receipts. | 13:12:52 |
