From 0b3d23831b22fc8c55e25f458ef3db733181f0b9 Mon Sep 17 00:00:00 2001 From: Kjeld Schouten-Lebbing Date: Thu, 16 Mar 2023 11:33:36 +0100 Subject: [PATCH] docs: add @engedics as a contributor --- .all-contributorsrc | 9 +++++++++ .github/README.md | 3 ++- 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/.all-contributorsrc b/.all-contributorsrc index 2b5769f7436..775e3174939 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -1479,6 +1479,15 @@ "contributions": [ "code" ] + }, + { + "login": "engedics", + "name": "Csaba Engedi", + "avatar_url": "https://avatars.githubusercontent.com/u/11065639?v=4", + "profile": "https://github.com/engedics", + "contributions": [ + "code" + ] } ], "contributorsPerLine": 7, diff --git a/.github/README.md b/.github/README.md index 83889f6761f..6aa9f962e93 100644 --- a/.github/README.md +++ b/.github/README.md @@ -124,7 +124,7 @@ A lot of our work is based on the great effort of others. We would love to exten ## Contributors ✨ -[![All Contributors](https://img.shields.io/badge/all_contributors-157-orange.svg?style=for-the-badge)](#contributors) +[![All Contributors](https://img.shields.io/badge/all_contributors-158-orange.svg?style=for-the-badge)](#contributors) Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/docs/en/emoji-key)): @@ -338,6 +338,7 @@ Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/d Alex
Alex

💻 Brian Semrad
Brian Semrad

💻 Christopher
Christopher

💻 + Csaba Engedi
Csaba Engedi

💻