Skip to content

Commit

Permalink
Fix fetching the version during release
Browse files Browse the repository at this point in the history
  • Loading branch information
multani committed Sep 3, 2023
1 parent b4056a8 commit 0a76203
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions .github/set-version
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,8 @@ def write_about_file(file: io.TextIOWrapper, git_ref: str) -> None:
def main() -> None:
parser = argparse.ArgumentParser()
parser.add_argument(
"GITHUB_REF",
"-g",
"--github-ref",
default=os.environ.get("GITHUB_REF"),
type=github_ref_type,
help=(
Expand All @@ -42,7 +43,7 @@ def main() -> None:
)
args = parser.parse_args()

write_about_file(args.filename, args.GITHUB_REF)
write_about_file(args.filename, args.github_ref)


if __name__ == "__main__":
Expand Down

0 comments on commit 0a76203

Please sign in to comment.