Release: do not merge temporary release branch but release

this way nothing lives in the release branch without notice and we can
get the good release tag in dev