push tags on release

pull/1525/head
Darien Raymond 2019-01-20 20:23:42 +01:00
parent aa4ab7fa03
commit 3bf3ce435b
No known key found for this signature in database
GPG Key ID: 7251FFA14BB18169
1 changed files with 1 additions and 1 deletions

View File

@ -198,7 +198,7 @@ git add .
git commit -m "Version ${RELEASE_TAG}"
git tag -a "${RELEASE_TAG}" -m "Version ${RELEASE_TAG}"
git remote add origin "https://${GITHUB_TOKEN}@github.com/v2ray/dist"
git push -u --force origin master
git push -u --force --follow-tags origin master
fi