From bb40b73febf6590d17cef5949c6786ebedc3c631 Mon Sep 17 00:00:00 2001
From: Jacopo De Simoi <wilderjds@protonmail.com>
Date: Sat, 17 Feb 2024 12:14:45 -0500
Subject: [PATCH] Push on upgrade

---
 tools/upgrade.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/upgrade.sh b/tools/upgrade.sh
index 01719d217..5acf232d3 100755
--- a/tools/upgrade.sh
+++ b/tools/upgrade.sh
@@ -252,6 +252,9 @@ if LANG= git pull --quiet --rebase $remote $branch; then
     # Save the commit prior to updating
     git config oh-my-zsh.lastVersion "$last_commit"
 
+    # Push to fork
+    git push --force origin $branch
+
     # Print changelog to the terminal
     if [[ $interactive == true && $verbose_mode == default ]]; then
       ZSH="$ZSH" command zsh -f "$ZSH/tools/changelog.sh" HEAD "$last_commit"