ChanServ changed the topic of #robotnix to: Robotnix: https://github.com/danielfullmer/robotnix || Channel logs: https://logs.nix.samueldr.com/robotnix
<hexa[m]> I don't suppose anyone here has admin permissions to the room, so a tombstone redirect could be set?
<hexa[m]> Either way, by request of @hmenke there is now #robotnix:nixos.org which is part of the #community:nixos.org and not bridged with freenode anymore
henri has joined #robotnix
henri has quit [Quit: ERC (IRC client for Emacs 27.1)]
<danielrf[m]> hexa: Hi. What would I need to do to set up the tombstone redirect?
<hexa[m]> you'd need to send a state event via devtools
<hexa[m]> with an empty (zero-length) State key
<hexa[m]> but I'm not sure if mod permissions are sufficient for that to be possible
<danielrf[m]> hmm, from reading https://matrix-appservice-irc.readthedocs.io/en/latest/irc_operators/ it's not clear that I can get admin permissions.
<danielrf[m]> I only ever joined this channel from matrix as a "portal room"
ChanServ changed the topic of #robotnix to: Channel moved to #robotnix:nixos.org on Matrix || https://github.com/danielfullmer/robotnix || Channel logs: https://logs.nix.samueldr.com/robotnix
<hexa[m]> yup, probably best to talk to the matrix.org people, they run the bridge
hexa[m] has left #robotnix ["User left"]
V has quit [Remote host closed the connection]
V has joined #robotnix