Delete the dev tag.
Push release tag.