git在master上合并一历史标签

#now local ws is at branch dev

$ git tag

$ git show v2.3.0

$ git reset --hard cd7a8cbae

$ git checkout master
#确保取远程master最新代码

$ git merge dev

#master合并和dev的v2.3.0

$ git push