Scripts that are used to release new versions of Dotty - View it on GitHub