From b50042bf8ceb5632bef2daea2c58892a0d8ed6e3 Mon Sep 17 00:00:00 2001 From: "allcontributors[bot]" <46447321+allcontributors[bot]@users.noreply.github.com> Date: Sat, 15 Jul 2023 09:00:10 +0200 Subject: [PATCH] docs: add dionlarson as a contributor for code, and doc (#10485) --- .all-contributorsrc | 10 ++++++++++ .github/README.md | 3 ++- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/.all-contributorsrc b/.all-contributorsrc index e22aadcfbfb..99367360c52 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -1873,6 +1873,16 @@ "contributions": [ "doc" ] + }, + { + "login": "dionlarson", + "name": "Dion Larson", + "avatar_url": "https://avatars.githubusercontent.com/u/1843883?v=4", + "profile": "http://dionlarson.com", + "contributions": [ + "code", + "doc" + ] } ], "contributorsPerLine": 7, diff --git a/.github/README.md b/.github/README.md index 1276b169579..151c9b6df16 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-200-orange.svg?style=for-the-badge)](#contributors) +[![All Contributors](https://img.shields.io/badge/all_contributors-201-orange.svg?style=for-the-badge)](#contributors) Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/docs/en/emoji-key)): @@ -393,6 +393,7 @@ Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/d yelhouti
yelhouti

💻 Jaroslav Lichtblau
Jaroslav Lichtblau

📖 MaximilianS
MaximilianS

📖 + Dion Larson
Dion Larson

💻 📖