We should pull here to update local branch pointers.

apache · Jul 30, 2013 · a41b2f1 · a41b2f1
1 parent 7ad4e65
commit a41b2f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/release/check_docs.sh b/release/check_docs.sh
@@ -48,7 +48,7 @@ if test ! -d $tmp_dir/git/.git; then
     cd $tmp_dir/git
 else
     cd $tmp_dir/git
-    git fetch
+    git pull
 fi
 
 rm -rf $tmp_dir/branch