[Vote] Move official IRC presence to OFTC

[David Bauer]

On 5/26/21 10:50 AM, Jo-Philipp Wich wrote:
> Hi,
> 
> the OFTC network has been widely suggested as alternative in the
> previous "Freenode woes" thread, so I'd like to start a vote here to
> reach a formal decision in order to move forward.
> 
> Do you agree to
> 
>  - Put a short migration notice as news item on the frontpage
>  - Change instances of Freenode to OFTC in the wiki/contact section
>  - Post a IRC migration notice as a sticky topic to the forum
>  - Post a IRC migration notice to the mailing lists (announce, adm)
>  - Link to the migration news in the Freenode IRC channels topics

Yes