Christopher Haster
93ecd2f2c1
We probably always want a human involved in the final step of publishing a release. 1. To allow editing of the release notes before notifying users, and 2. to avoid any issues with rogue scripts (who doesn't want 1000 release notifications?). Especially now that releases may trigger additional post-release scripts.