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