From 1c3c72a42251466a7df2389425285462d13eb4b4 Mon Sep 17 00:00:00 2001
From: Jess Frazelle <acidburn@microsoft.com>
Date: Thu, 27 Sep 2018 12:27:15 -0400
Subject: [PATCH] remove logging

Signed-off-by: Jess Frazelle <acidburn@microsoft.com>
---
 github-dev/cleanup-pr-branch | 2 --
 1 file changed, 2 deletions(-)

diff --git a/github-dev/cleanup-pr-branch b/github-dev/cleanup-pr-branch
index 8868f4f..28c6534 100755
--- a/github-dev/cleanup-pr-branch
+++ b/github-dev/cleanup-pr-branch
@@ -40,12 +40,10 @@ main(){
 		fi
 
 		echo "Deleting branch ref $ref for owner ${owner}/${repo}..."
-		set -x
 		curl -XDELETE -sSL \
 			-H "${AUTH_HEADER}" \
 			-H "${API_HEADER}" \
 			"${URI}/repos/${owner}/${repo}/git/refs/heads/${ref}"
-		set +x
 
 		echo "Branch delete success!"
 	fi