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