Should we do something with #git-devel on Freenode?

Seems like there's been some kerfuffle with Freenode staff and new ownership[1][2][3]. What does this mean for Git project? I think #git on Freenode isn't maintained by Git developers directly, right? (And anyways, the MOTD on #git says the moderators of that channel are monitoring the "Freenode situation" with a pointer to [2].) We do theoretically keep up #git-devel on Freenode, though it's largely silent. Should we be worrying? Migrating? Deciding the low traffic on #git-devel means it's not worth moving? I'm not sure how to balance being alarmist and being practical here, but I thought it was worth bringing up on-list.

 - Emily

[1] https://boingboing.net/2021/05/19/freenode-irc-staff-quit-after-new-owner-seizes-control.html [2] https://gist.github.com/joepie91/df80d8d36cd9d1bde46ba018af497409 [3] https://fuchsnet.ch/freenode-resign-letter.txt