From ed9e8f2b3527fe5cca6c93908176f60478cf9c7e Mon Sep 17 00:00:00 2001
From: Jean-Philippe Evrard <open-source@a.spamming.party>
Date: Mon, 7 Dec 2020 16:37:43 +0100
Subject: [PATCH] Remove circle ci configuration from gh pages

We removed Circle CI from this repo, as we can do everything
from github actions. There is no point in keeping this
configuration here. Removing.
---
 .circleci/config.yml | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 .circleci/config.yml

diff --git a/.circleci/config.yml b/.circleci/config.yml
deleted file mode 100644
index fb3e8fd..0000000
--- a/.circleci/config.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-version: 2.1
-jobs:
-  build:
-    machine: true
-    steps:
-      - run: "echo skip"
-
-workflows:
-  version: 2
-  ignore:
-    jobs:
-      - build:
-          filters:
-            branches:
-              ignore:
-                - gh-pages