From 34334ad8b83a23369a76d274816a095a0fcb93f8 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <paul@aider.chat>
Date: Tue, 4 Mar 2025 13:24:18 -0800
Subject: [PATCH] chore: Add dry run git push check before version bump

---
 scripts/versionbump.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/versionbump.py b/scripts/versionbump.py
index 859cab1d7..88742927e 100755
--- a/scripts/versionbump.py
+++ b/scripts/versionbump.py
@@ -76,6 +76,7 @@ def main():
     check_branch()
     check_working_directory_clean()
     check_main_branch_up_to_date()
+    # do a `git push --dry-run origin` check before proceeding. ai!
 
     new_version_str = args.new_version
     if not re.match(r"^\d+\.\d+\.\d+$", new_version_str):