docs: update HISTORY.md and remove git operations from versionbump.py

This commit is contained in:
Paul Gauthier 2024-09-09 15:01:08 -07:00 committed by Paul Gauthier (aider)
parent de84a08924
commit 6cddc800f1
2 changed files with 2 additions and 4 deletions

View file

@ -157,9 +157,6 @@ def main():
print(f"Removing {version_file}")
if not dry_run:
os.remove(version_file)
subprocess.run(["git", "add", version_file], check=True)
subprocess.run(["git", "commit", "-m", f"Remove {version_file}"], check=True)
subprocess.run(["git", "push", "origin", "--no-verify"], check=True)
if __name__ == "__main__":