Merge pull request #237 from unihd-cag/final-final-fix-of-version-bump

Fetch before checkout
unihd-cag · Aug 18, 2023 · 3ea7057 · 3ea7057
2 parents f6acc0a + 821cee1
commit 3ea7057
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/update_version.py b/update_version.py
@@ -17,6 +17,7 @@ def check_up_to_date(ref: str) -> None:
 
 
 def checkout_master() -> None:
+    check_call(['git', 'fetch'])
     check_call(['git', 'checkout', 'master'])