GitLab

https://lists.torproject.org/cgi-bin/mailman/listinfo/gsoc-admin

It has me, Damian, and Sebastian on it. I've checked with all three of us and we agree the list has never actually been used.

There is an active alias named gso@tpo which is in use and doing fine, so we can drop the (redundant, abandoned) gsoc-admin list.

Thanks!