From d0fda1ef0d926ad1e5bdab7549c4f5a78d5e7101 Mon Sep 17 00:00:00 2001
From: "Azalea (on HyDEV-Daisy)" <me@hydev.org>
Date: Tue, 6 Sep 2022 12:20:37 -0400
Subject: [PATCH] [U] Deploy tool: Push tag

---
 tools/deploy-release.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/deploy-release.py b/tools/deploy-release.py
index f92f05ad..f9ca974d 100755
--- a/tools/deploy-release.py
+++ b/tools/deploy-release.py
@@ -124,6 +124,7 @@ def create_release(v: str):
     # 4. Push
     print('Pushing commits...')
     subprocess.check_call(['git', 'push'])
+    subprocess.check_call(['git', 'push', 'origin', v])
 
 
 def deploy():