From 5416be07b05d989082dea279b65048848dd642eb Mon Sep 17 00:00:00 2001
From: Brandon Thomas <echelon@gmail.com>
Date: Sun, 18 Feb 2024 04:02:02 -0500
Subject: [PATCH] make force pushing after deleting local branch easier

---
 publish_production_fakeyou.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/publish_production_fakeyou.sh b/publish_production_fakeyou.sh
index 57ec5a9364..29037451cd 100755
--- a/publish_production_fakeyou.sh
+++ b/publish_production_fakeyou.sh
@@ -6,6 +6,7 @@ MASTER_BRANCH='master'
 PRODUCTION_BRANCH='production-fakeyou'
 
 git stash
+git branch --set-upstream-to="origin/${MASTER_BRANCH}" ${MASTER_BRANCH}
 git checkout $MASTER_BRANCH
 git pull