From e1bfed50000d2b2d10c70ee12abd7a3965549ae0 Mon Sep 17 00:00:00 2001
From: Joost De Cock <joost@joost.at>
Date: Sun, 28 Nov 2021 16:56:16 +0100
Subject: [PATCH] chore: Don't generated contributors badge file

---
 .all-contributorsrc   | 3 +--
 CONTRIBUTORS_BADGE.md | 4 ----
 2 files changed, 1 insertion(+), 6 deletions(-)
 delete mode 100644 CONTRIBUTORS_BADGE.md

diff --git a/.all-contributorsrc b/.all-contributorsrc
index 6749d80db57..75aff18b6b9 100644
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@@ -4,8 +4,7 @@
   "repoType": "github",
   "repoHost": "https://github.com",
   "files": [
-    "CONTRIBUTORS.md",
-    "CONTRIBUTORS_BADGE.md"
+    "CONTRIBUTORS.md"
   ],
   "imageSize": 100,
   "commit": true,
diff --git a/CONTRIBUTORS_BADGE.md b/CONTRIBUTORS_BADGE.md
deleted file mode 100644
index 9936cedbd8d..00000000000
--- a/CONTRIBUTORS_BADGE.md
+++ /dev/null
@@ -1,4 +0,0 @@
-
-<!-- ALL-CONTRIBUTORS-BADGE:START - Do not remove or modify this section -->
-[![All Contributors](https://img.shields.io/badge/all_contributors-38-orange.svg?style=flat-square)](#contributors-)
-<!-- ALL-CONTRIBUTORS-BADGE:END -->
\ No newline at end of file