dfdaf96b8dd83314303a7df5a19fcd18909ae9ee
galt
  Sun Jun 13 14:48:41 2010 -0700
tweaking git pull to be safer, fixing checkbeta target
diff --git src/hg/htdocs/makefile src/hg/htdocs/makefile
index 40e0129..7879a27 100644
--- src/hg/htdocs/makefile
+++ src/hg/htdocs/makefile
@@ -7,7 +7,7 @@
 
 
 GIT = git
-GITUP = ${GIT} pull origin master
+GITUP = ${GIT} pull -q
 
 user:
 	${GITUP}