From 36440cc89fafec4444448210e3baa48880b21608 Mon Sep 17 00:00:00 2001
From: Zach Borboa <zachborboa@gmail.com>
Date: Fri, 23 Sep 2022 17:41:20 -0700
Subject: [PATCH] Push tags

---
 scripts/update_changelog.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/update_changelog.py b/scripts/update_changelog.py
index 44043b5..d62e340 100644
--- a/scripts/update_changelog.py
+++ b/scripts/update_changelog.py
@@ -201,7 +201,7 @@ def main():
         GITHUB_TOKEN, GITHUB_REPOSITORY)
     print('would be pushing changes to branch "{}" of repository "{}"'.format(
         GITHUB_REF_NAME, GITHUB_REPOSITORY))
-    print(local_repo.git.push(server, GITHUB_REF_NAME, dry_run=True))
+    local_repo.git.push(server, GITHUB_REF_NAME, follow_tags=True, dry_run=True)
 
 
 if __name__ == '__main__':