Closed anoadragon453 closed 3 years ago
I assume it's to place the user ID and preferred nickname in data/senders.json. Should the bot not just do this automatically and we can then edit their preferred name as necessary afterwards?
data/senders.json
Missing names were:
@erdnaxeli:cervoi.se
@andreas:matrix.aventer.biz
@jj:sft.lol
@reivilibre:librepush.net
@samuel-p:matrix.org
@magnus:ctrl-c.liu.se
I assume it's to place the user ID and preferred nickname in
data/senders.json
. Should the bot not just do this automatically and we can then edit their preferred name as necessary afterwards?