robust update patch

2023-07-25 12:35:42 +09:00
parent c0164cc7cd
commit f534cf27e6
5 changed files with 20 additions and 8 deletions
--- a/scripts/update-fix.py
+++ b/scripts/update-fix.py
@@ -0,0 +1,8 @@
+import git
+
+repo_path = "."
+if repo.is_dirty():
+    repo.git.stash()
+
+repo = git.Repo(repo_path)
+repo.git.pull(rebase=True)