From 292ef2675edb2cb579210183e77ac30335318a21 Mon Sep 17 00:00:00 2001
From: ebraminio <ebrahim@gnu.org>
Date: Wed, 1 Nov 2017 16:24:46 -0700
Subject: [PATCH] [ci] minor cleanup (#600)

---
 .circleci/config.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 630ab0b68..456d65903 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -88,7 +88,3 @@ workflows:
       - linux-arm64
       - linux-mips
       - windows-x64
-
-branches:
-  ignore:
-    - gh-pages