GitHub repository: lampepfl/dotty-release-scripts
Primary language: Python
Description: Scripts that are used to release new versions of Dotty