diff --git a/make_principia_release.ps1 b/make_principia_release.ps1 index 459b39e9ed..f35c9ced0a 100644 --- a/make_principia_release.ps1 +++ b/make_principia_release.ps1 @@ -118,5 +118,5 @@ if ($mathematician.contains("TEST")) { echo " git tag --delete $tag" echo "to clean up." } else { - git push $remote --tags + git push $remote $tag }