Skip to content

Commit

Permalink
refacto the 'make_release' to sign commits [skip ci]
Browse files Browse the repository at this point in the history
  • Loading branch information
BDonnot committed Oct 14, 2024
1 parent ae47659 commit 3116d0e
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions utils/make_release.py
Original file line number Diff line number Diff line change
Expand Up @@ -197,10 +197,10 @@ def modify_and_push_docker(version, # grid2op version
start_subprocess_print(["git", "add", f'{os.path.join(PATH_PREVIOUS_RUNNER, f"res_agent_{version}")}/*'])

# Commit
start_subprocess_print(["git", "commit", "-m", "Release v{}".format(version)])
start_subprocess_print(["git", "commit", "-S", "-m", "Release v{}".format(version)])
if not is_prerelease:
# Create a new git tag
start_subprocess_print(["git", "tag", "-a", "v{}".format(version), "-m", "Release v{}".format(version)])
start_subprocess_print(["git", "tag", "-s", "-a", "v{}".format(version), "-m", "Release v{}".format(version)])

if is_prerelease:
print("Please push changes: 'git push'")
Expand All @@ -227,4 +227,3 @@ def modify_and_push_docker(version, # grid2op version
path=path,
docker_versions=[version, "latest"],
docker_tags=["--no-cache"])

0 comments on commit 3116d0e

Please sign in to comment.