tor-community-council@torproject.org email alias does not exist
We were recently made aware that the tor-community-council 'at' torproject.org email alias listed on our Community Council Policies: https://gitweb.torproject.org/community/policies.git/tree/community_council.txt#n84 does not in fact work.
The correct email address is tor-community-council 'at' lists.torproject.org
Rather than going through the process to amend the Community Council Policy, would it be possible to create an email alias to point tor-community-council 'at' torproject.org to tor-community-council 'at' lists.torproject.org?
Also, does anyone know if there would there be any implications when encrypting messages to this list given that the email alias does not match the uids on the gpg key?
Also, not sure if I've created this under the correct component, so please feel free to move to the correct one.
Thanks!