Compare commits
2 Commits
6cee38e99f
...
7ce82ce82e
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
7ce82ce82e | ||
|
|
ce12684193 |
@@ -49,8 +49,9 @@ echo "=== Pushing to remotes ==="
|
||||
git push origin HEAD
|
||||
git push origin --force tag "$VERSION"
|
||||
|
||||
# If a remote named 'github' exists, push tags there too
|
||||
# If a remote named 'github' exists, push branch and tags there too
|
||||
if git remote | grep -q "^github$"; then
|
||||
git push github HEAD
|
||||
git push github --force tag "$VERSION"
|
||||
fi
|
||||
|
||||
|
||||
Reference in New Issue
Block a user