From 2e92ba521c77e87a9279cb6c8325ee56066f91b7 Mon Sep 17 00:00:00 2001
From: Daniel Freedman <dfreedm@google.com>
Date: Thu, 22 Aug 2013 12:21:10 -0700
Subject: [PATCH] Don't checkout master by default

Fixes #4
---
 bin/pull-all.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bin/pull-all.sh b/bin/pull-all.sh
index 392eb69ba..60ae80af6 100755
--- a/bin/pull-all.sh
+++ b/bin/pull-all.sh
@@ -56,7 +56,6 @@ ok() {
 pull() {
     pushd $REPO >/dev/null 2>&1
     log "PULLING"
-    git checkout master
     git pull --rebase
     if [ $? -ne 0 ]; then
       FAILED+=($REPO)