
* Set new version number in .control, Makefile, debian/changelog
* Add release notes to docs/notes
* git commit -m "vX.Y"
* "make release" to tag and push it out

