From 2cf031155b1e8f4f3655856d3f01706ce7142cb1 Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Mon, 6 Nov 2023 17:09:55 +0000 Subject: [PATCH] gitlab_gql: make `--rev` optional, defaulting to `HEAD` Part-of: --- bin/ci/gitlab_gql.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/ci/gitlab_gql.py b/bin/ci/gitlab_gql.py index a059e5b4018..5f1a6b7b210 100755 --- a/bin/ci/gitlab_gql.py +++ b/bin/ci/gitlab_gql.py @@ -472,10 +472,10 @@ def parse_args() -> Namespace: formatter_class=ArgumentDefaultsHelpFormatter, description="CLI and library with utility functions to debug jobs via Gitlab GraphQL", epilog=f"""Example: - {Path(__file__).name} --rev HEAD --print-job-dag""", + {Path(__file__).name} --print-job-dag""", ) parser.add_argument("-pp", "--project-path", type=str, default="mesa/mesa") - parser.add_argument("--sha", "--rev", type=str, required=True) + parser.add_argument("--sha", "--rev", type=str, default='HEAD') parser.add_argument( "--regex", type=str,