From bd083baa631dc77ff63f8e4af308ee86a23531ef Mon Sep 17 00:00:00 2001 From: Gracjan Polak Date: Thu, 4 Jun 2015 16:40:17 +0200 Subject: [PATCH] git push a single branch only --- doc/deploy-manual.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/deploy-manual.sh b/doc/deploy-manual.sh index 6d4507675..5e230d2be 100755 --- a/doc/deploy-manual.sh +++ b/doc/deploy-manual.sh @@ -47,7 +47,7 @@ cd gh-pages-deploy git rm -qr manual/latest cp -r ../html manual/latest git add manual/latest -(git commit -m "Update manual from haskell/haskell-mode@${HEAD_COMMIT}" && git push) || true +(git commit -m "Update manual from haskell/haskell-mode@${HEAD_COMMIT}" && git push origin gh-pages) || true cd .. rm -fr gh-pages-deploy