script for pushing to PRs

4 years ago · f98049a0ef
parent 01dc011f9f
commit f98049a0ef
1 changed files with 8 additions and 0 deletions
--- a/scripts/push_pr.sh
+++ 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