Commit this session's work, bump the version, tag, push, and publish a GitHub release with grouped notes.