developer-manual: Add pushing the created tag to the release steps