[14:58:01] <isaacj>	 bd808: good point. I would be in favor of shutting down given that it's very infrequently used. thoughts on an appropriate process given that it's not just a WMF staff channel?
[16:08:44] * bd808 is looking for notes on what he did to close wikimedia-office back in the day
[16:16:14] <bd808>	 isaacj: I found https://meta.wikimedia.org/wiki/Talk:IRC_office_hours#Objections_to_shutting_down_the_%23wikimedia-office_libera.chat_IRC_channel as the documentation of what I did to shutdown #wikimedia-office.
[16:16:49] <bd808>	 Asking the question somewhere that folks might reasonably find is probably the first step.