From f98049a0ef21a3196a5c0e520517bf8d799debe1 Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Sun, 11 Apr 2021 16:31:04 -0700
Subject: [PATCH] script for pushing to PRs

---
 scripts/push_pr.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 scripts/push_pr.sh

diff --git a/scripts/push_pr.sh b/scripts/push_pr.sh
new file mode 100755
index 00000000..9b10748c
--- /dev/null
+++ b/scripts/push_pr.sh
@@ -0,0 +1,8 @@
+#!/bin/bash -e
+
+# workaround for a git lfs bug when pushing
+# to PR branches that don't have lfs enabled
+
+git lfs uninstall
+git push
+git lfs install