script for pushing to PRs

old-commit-hash: f98049a0ef
2026-07-14 09:02:08 +08:00 · 2021-04-11 16:31:04 -07:00
parent 998ccacd70
commit a2cd7bfdeb
1 changed files with 8 additions and 0 deletions
@@ -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