From 23d31fca274d95534e19d08b00ca2ed0946cdff0 Mon Sep 17 00:00:00 2001
From: Joseph Herlant <herlantj@gmail.com>
Date: Sun, 29 Oct 2017 17:01:17 -0700
Subject: Adding branch ignore in the default

---
 .circleci/config.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index df706dae8..5c02dad3d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -2,6 +2,9 @@ version: 2
 defaults: &defaults
   docker:
     - image: ubuntu:14.04
+  branches:
+    ignore:
+      - gh-pages
 
 jobs:
   build_linux:
@@ -27,7 +30,7 @@ jobs:
           name: Update results to Github
           command: |
             # Because the branch filtering does not work for now
-            if [ "${CIRCLE_BRANCH}" == "doxygen" ];
+            if [ "${CIRCLE_BRANCH}" == "doxygen" ]; then
               mkdir /root/.ssh
               chmod 0600 /root/.ssh
               echo 'github.com ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==' >> ~/.ssh/known_hosts
-- 
cgit v1.2.1