From 48ed1ca29d9a51619425ef13701b86e8846a9683 Mon Sep 17 00:00:00 2001
From: Matthew Honnibal <honnibal+gh@gmail.com>
Date: Wed, 15 Aug 2018 03:16:43 +0200
Subject: [PATCH] Add branch option to push-tag script

---
 bin/push-tag.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/push-tag.sh b/bin/push-tag.sh
index b1cc07afd..20a7c6914 100755
--- a/bin/push-tag.sh
+++ b/bin/push-tag.sh
@@ -5,8 +5,8 @@ set -e
 # Insist repository is clean
 git diff-index --quiet HEAD
 
-git checkout master
-git pull origin master
+git checkout $1
+git pull origin $1
 version=$(grep "__version__ = " spacy/about.py)
 version=${version/__version__ = }
 version=${version/\'/}