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