dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-05-20 12:24:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: Add dry run git push check before version bump

Browse source
This commit is contained in:
Paul Gauthier 2025-03-04 13:24:18 -08:00 • committed by Paul Gauthier (aider)
parent 4527714094
commit 34334ad8b8
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/versionbump.py
View file

@ -76,6 +76,7 @@ def main():
check_branch() check_branch()
check_working_directory_clean() check_working_directory_clean()
check_main_branch_up_to_date() check_main_branch_up_to_date()
# do a `git push --dry-run origin` check before proceeding. ai!
new_version_str = args.new_version new_version_str = args.new_version
if not re.match(r"^\d+\.\d+\.\d+$", new_version_str): if not re.match(r"^\d+\.\d+\.\d+$", new_version_str):