zulip notification #34
Description
Kim says:
Kim: I agree it is best that lean-update itself doesn't do the zulip notification or toolchain release tagging. But we may want to package these steps as actions, too!
Asei: Is it not enough to add an example to the README?
Kim: Because no one should ever have to read the README, or know the repository exists. All this infrastructure needs to be deployed by lake new, and the only configuration required to uncommenting some lines. We don't want to be copy-pasting these configuration blocks into everyone's lake projects if they can be factored out into a centrally updatable action.