diff --git a/make_release.py b/make_release.py index 020f16e4686cfca3821a9a78653d18308331587f..c8ff0ba07454a4afa5195524a2d4a6cc7c5353fc 100755 --- a/make_release.py +++ b/make_release.py @@ -42,6 +42,7 @@ def main(): os.system(f"git commit {version_filepath} -m 'Updating for version {new_version}'") os.system(f"git tag -a {new_version} -m 'Release {new_version}'") + os.system("git push --follow-tags") if __name__ == "__main__":