BearND has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/394522 )
Change subject: tag-deploy: push only the created tag ...................................................................... tag-deploy: push only the created tag git push --tags would push any local tags missing on the upstream repo to it. Instead just push the single tag we just created. Change-Id: If221f8faceab86f9ab3df61b18e27678a43cfda4 --- M scripts/tag-deploy.sh 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/services/mobileapps refs/changes/22/394522/1 diff --git a/scripts/tag-deploy.sh b/scripts/tag-deploy.sh index 8b63dab..53f4464 100755 --- a/scripts/tag-deploy.sh +++ b/scripts/tag-deploy.sh @@ -35,4 +35,4 @@ # Tag the latest code repo commit with it & push tags cd "$repo_dir" -git tag -s "$tag" -m "deployed" && git push --tags && printf "Applied new tag: $tag\n" +git tag -s "$tag" -m "deployed" && git push origin "$tag" && printf "Applied new tag: $tag\n" -- To view, visit https://gerrit.wikimedia.org/r/394522 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If221f8faceab86f9ab3df61b18e27678a43cfda4 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/mobileapps Gerrit-Branch: master Gerrit-Owner: BearND <bsitzm...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits