From 33da6610f9e5dc8ea8f02f18d248f6cc592e220e Mon Sep 17 00:00:00 2001 From: "Philipp A. Hartmann" Date: Fri, 11 Jul 2014 13:29:50 +0200 Subject: [PATCH] travis-doxygen.sh: temporarily ignore failing GH page update --- build/travis-doxygen.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build/travis-doxygen.sh b/build/travis-doxygen.sh index 0c817b35..dabab330 100755 --- a/build/travis-doxygen.sh +++ b/build/travis-doxygen.sh @@ -92,7 +92,8 @@ gh_pages_push() { git config core.askpass /bin/true ( set +x ; git config credential.${GHPAGES_URL}.username "${GH_TOKEN}" ) # push to GitHub - git push origin gh-pages + git push origin gh-pages || \ + skip "GitHub pages update failed, temporarily ignored." } doxygen_install