From 99d01b7e91d699ea23f5d5bedecd2ae4d517fdcd Mon Sep 17 00:00:00 2001 From: Tudor Golubenco Date: Tue, 21 Feb 2017 14:08:33 +0100 Subject: [PATCH] Fix the cherrypick_pr script (#3633) --- dev-tools/cherrypick_pr | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dev-tools/cherrypick_pr b/dev-tools/cherrypick_pr index 9867d0f06a03..1545601772bc 100755 --- a/dev-tools/cherrypick_pr +++ b/dev-tools/cherrypick_pr @@ -112,7 +112,8 @@ def main(): original_pr = s.get(base+"/pulls/"+args.pr_number).json() # get the github username from the remote where we pushed - remote_url = check_output("git remote get-url {}".format(remote)) + remote_url = check_output("git remote get-url {}".format(remote), + shell=True) remote_user = re.search("github.com:(.+)/beats", remote_url).group(1) # create PR