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
Merge pull request #713 from antoine-de/change_release_script

Release: do not merge temporary release branch but release