From bc2d0650bfa3c41b01e2b23e76a90e197ed132f0 Mon Sep 17 00:00:00 2001 From: "allcontributors[bot]" <46447321+allcontributors[bot]@users.noreply.github.com> Date: Wed, 8 Nov 2023 15:54:08 +0100 Subject: [PATCH] docs: add cderv as a contributor for doc (#573) * docs: update README.md [skip ci] * docs: update .all-contributorsrc [skip ci] --------- Co-authored-by: allcontributors[bot] <46447321+allcontributors[bot]@users.noreply.github.com> --- .all-contributorsrc | 9 +++++++++ README.md | 1 + 2 files changed, 10 insertions(+) diff --git a/.all-contributorsrc b/.all-contributorsrc index d9b4cdd32..65700acb9 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -488,6 +488,15 @@ "contributions": [ "bug" ] + }, + { + "login": "cderv", + "name": "Christophe Dervieux", + "avatar_url": "https://avatars.githubusercontent.com/u/6791940?v=4", + "profile": "https://cderv.rbind.io", + "contributions": [ + "doc" + ] } ], "contributorsPerLine": 7, diff --git a/README.md b/README.md index bc43dc0b6..88fcfdd8c 100644 --- a/README.md +++ b/README.md @@ -400,6 +400,7 @@ Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/d