Skip to content

Commit

Permalink
Remove stray character
Browse files Browse the repository at this point in the history
  • Loading branch information
mernst committed Jul 11, 2022
1 parent bf5ab82 commit 07cc67f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/developer/release/release_utils.py
Original file line number Diff line number Diff line change
Expand Up @@ -269,7 +269,7 @@ def commit_tag_and_push(version, path, tag_prefix):
"""Commit the changes made for this release, add a tag for this release, and
push these changes."""
# Do nothing (instead of erring) if there is nothing to commit.
if execute('git diff-index --quiet HEAD', False, False, working_dir=path)) == 0:
if execute('git diff-index --quiet HEAD', False, False, working_dir=path) == 0:
execute('git commit -a -m "new release %s"' % (version), working_dir=path)
execute("git tag %s%s" % (tag_prefix, version), working_dir=path)
push_changes(path)
Expand Down

0 comments on commit 07cc67f

Please sign in to comment.