From 3c135449f145d3d4bf2e97b12f3dc0ca800dd17b Mon Sep 17 00:00:00 2001
From: Sebastian Messmer <messmer@cryfs.org>
Date: Mon, 26 Apr 2021 19:23:54 -0700
Subject: [PATCH] Disable Circle CI via dummy config

---
 .circleci/config | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 .circleci/config

diff --git a/.circleci/config b/.circleci/config
new file mode 100644
index 00000000..c307c7bf
--- /dev/null
+++ b/.circleci/config
@@ -0,0 +1,14 @@
+# This config file is a dummy CircleCI config that does nothing. We migrated away from CircleCI to Github Actions.
+# But our release/0.10 branch still uses CircleCI, so we can't disable the service entirely and need some way
+# to disable it only for newer versions. That's what this file is doing.
+
+version: 2.1
+
+jobs:
+  build:
+    docker:
+      - image: circleci/node:11.12.0
+    steps:
+      - run:
+          name: Dummy
+          command: 'echo Not running any Circle CI'