Steps for Releasing Update changelog to point to GitHub release log (e.g. https://github.com/cartographer-project/cartographer/compare/0.1.0...0.2.0) Create PR Add release via GitHub web UI