Closed nikomatsakis closed 2 months ago
Add a zulip command to ping goal owners. I intend this to run once a week eventually but right now it's still executed manually.
r? @jackh726
@jackh726 added the simplest of all possible ACLs :)
Add a zulip command to ping goal owners. I intend this to run once a week eventually but right now it's still executed manually.