From 82b670c1525d7627d6bba30d6e6acdec3a17fbd3 Mon Sep 17 00:00:00 2001 From: Steffen Vogel Date: Fri, 25 Mar 2011 00:04:16 +0100 Subject: [PATCH] specified git ref for doc generation script --- misc/tools/generate_docs.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/tools/generate_docs.php b/misc/tools/generate_docs.php index 812ecb1..6c18148 100644 --- a/misc/tools/generate_docs.php +++ b/misc/tools/generate_docs.php @@ -49,7 +49,7 @@ $rc = 0; chdir($vzDir . '/github/'); // update git -$cmd = 'git pull'; +$cmd = 'git pull origin master'; $output[] = $cmd . PHP_EOL; exec($cmd, $output, $rc);