From 0e30ec02f08e5cd504a51ce3e501746f3d363f7f Mon Sep 17 00:00:00 2001 From: Pratik Vyas Date: Thu, 4 Sep 2014 15:24:41 +0530 Subject: [PATCH] use repo map --- bench/release.py | 1 + 1 file changed, 1 insertion(+) diff --git a/bench/release.py b/bench/release.py index 82203746..a2ff2433 100644 --- a/bench/release.py +++ b/bench/release.py @@ -44,6 +44,7 @@ def create_github_release(owner, repo, tag_name, log, gh_username=None, gh_passw raise Exception, "No credentials" gh_username = github_username gh_password = github_password + repo = repo_map[os.path.basename(repo)] data = { 'tag_name': tag_name, 'target_commitish': 'master',