hail team process updates (proposal)

zulip

archive some channels

also can we please make the capitalization consistent?

#linalg, #test, #zulip
- no replacement needed
#announce
- use #general instead
#workshop
- use per-workshop channels like existing #atgu welcome workshop 2022 instead
#cloud support, #discussposts, #devforumposts, #feature requests, #hail 0.1 support, #hail batch support, #hail query 0.2 support
- use labeled GitHub Issues instead
new channel: #time sensitive support

open questions

#github: does anyone currently use this instead of normal github notifs?
#hail variants: what is this currently used for? (update: time sensitive support, so this channel needs to stay)

discourse (discuss.hail.is)

migrate to github issues

use script to create a github issue for each remaining topic and post a link to it
create a pinned topic saying that we've migrated
disable creation of new topics or posts
after a month, shut down the board