From a960bbaf56c87d3239ec2d6476282110584079da Mon Sep 17 00:00:00 2001 From: jgraham Date: Tue, 26 Mar 2019 11:49:50 +0000 Subject: [PATCH] Log GH event when tagging master (#16076) --- tools/ci/tag_master.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/tools/ci/tag_master.py b/tools/ci/tag_master.py index 622d7f4ca06acc..26fa2c311ae4b1 100644 --- a/tools/ci/tag_master.py +++ b/tools/ci/tag_master.py @@ -129,22 +129,21 @@ def create_release(owner, repo, sha, tag, summary, body): def should_run_action(): with open(os.environ["GITHUB_EVENT_PATH"]) as f: event = json.load(f) + logger.info(json.dumps(event, indent=2)) if "pull_request" in event: logger.info("Not tagging for PR") return False if event.get("ref") != "refs/heads/master": - logger.info("Not tagging for non-master branch") + logger.info("Not tagging for ref %s" % event.get("ref")) return False return True def main(): repo_key = "GITHUB_REPOSITORY" - should_run = should_run_action() - if not should_run: - logger.info("Not tagging master for this push") + if not should_run_action(): return owner, repo = os.environ[repo_key].split("/", 1)