Release Process

Magma is released on pypi under the package magma-lang. @leonardt is the current maintainer of the package, but releases are typically managed through Travis.

To release a new version: 1. Update CHANGELOG.md with the changes that will be included in the release. See keepachangelog.com for some tips on how to keep a good changelog. 2. Update setup.py with the next version number. Follow the guidelines for semantic versioning 3. Commit your changes and tag with the release (e.g. git tag v1.0.15) 4. Push your changes including the new tag git push && git push --tags 5. Monitor the Travis build for the tagged commit. If it succeeds, the log should indicate that the latest release was uploaded to PyPI.