This has been realized in form of a a new Jenkins job, hibernate-ogm-release. This is a parameterized job which is triggered manually, taking the version to be released as input and does many of the required steps: Deployment, SourceForge upload, documentation upload and more.