(Just want to keep a record of this task, as well as introduce the Infrastructure label for issues related to Pillow community infrastructure e.g. servers, policies, etc.)
I've been meaning to tackle this for a few years now, and just decided this year is the year. I want to automatically redirect users from #pillow on Freenode to #pil, following these steps:
I thought that I could just mirror the channels, but I'm not seeing an easy way to do that now. I'm also not sure which is better, assuming such an option exists. Our IRC traffic is low, so it probably doesn't matter either way.
You can do this by setting the channel to +f #pil and making sure to set MLOCK +f #pil as well (so that that doesn't expire after a few months).
MLOCK +f #pil