Compare commits
2 Commits
6cee38e99f
...
7ce82ce82e
| Author | SHA1 | Date | |
|---|---|---|---|
| 7ce82ce82e | |||
| ce12684193 |
+2
-1
@@ -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