Fix git-tag check for svn-push
Merge branch 'develop'