From 2f1f1964eea6daa0d137ea8b0bd4739b2f46af2d Mon Sep 17 00:00:00 2001 From: Oscar Benjamin Date: Sun, 22 Nov 2020 08:22:27 +0000 Subject: [PATCH] maint: add authors to the AUTHORS file --- .mailmap | 1 + AUTHORS | 6 +++++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/.mailmap b/.mailmap index ba91bcf3dcf4..a338f1f5ffd2 100644 --- a/.mailmap +++ b/.mailmap @@ -512,3 +512,4 @@ Sudeep Sidhu sidhu1012 Devesh Sawant dsaw Coder-RG Rishabh Goel Lorenzo Contento lcontento +Naveen Sai naveensaigit diff --git a/AUTHORS b/AUTHORS index e3c8a63c56ea..19c0c5a514b3 100644 --- a/AUTHORS +++ b/AUTHORS @@ -4,7 +4,7 @@ those who explicitly didn't want to be mentioned. People with a * next to their names are not found in the metadata of the git history. This file is generated automatically by running `./bin/authors_update.py`. -There are a total of 998 authors. +There are a total of 1002 authors. Ondřej Čertík Fabian Pedregosa @@ -1004,3 +1004,7 @@ Coder-RG Ansh Mishra Alex Malins Lorenzo Contento +Naveen Sai +Shital Mule +Amanda Dsouza +Nijso Beishuizen