From 5ce5b29a31b519483e1fe748f93249f5998527e8 Mon Sep 17 00:00:00 2001
From: Ewoud Kohl van Wijngaarden <ewoud@kohlvanwijngaarden.nl>
Date: Wed, 8 Nov 2023 21:25:16 +0100
Subject: [PATCH] Add more contributors with their proper name in the mapping

---
 scripts/committers.rb | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/committers.rb b/scripts/committers.rb
index c02f73ec4b..6c90b02002 100755
--- a/scripts/committers.rb
+++ b/scripts/committers.rb
@@ -46,6 +46,7 @@
 @author_map = {
   "aabramov"       => "Adi Abramovich",
   "abenari"        => "Amos Benari",
+  "archanaserver"  => "Archana Kumari",
   "adamruzicka"    => "Adam Ruzicka",
   "Alexander Fisher" => "Alex Fisher",
   "alongoldboim"   => "Alon Goldboim",
@@ -54,6 +55,7 @@
   "Dirk Goetz"     => "Dirk Götz",
   "Eric D Helms"   => "Eric D. Helms",
   "Eric Helms"     => "Eric D. Helms",
+  "girijaasoni"    => "Girija Soni",
   "Joseph Magen"   => "Joseph Mitchell Magen",
   "Ivan Necas"     => "Ivan Nečas",
   "Lukas Zapletal" => "Lukáš Zapletal",
@@ -134,6 +136,8 @@
   "tux93" => "Marcel Kühlhorn",
   "snemeth" => "Štefan Németh",
   "Stejskal Leos" => "Leos Stejskal",
+  "pkoprda" => "Peter Koprda",
+  "vijaysawant" => "Vijaykumar Sawant",
 }
 
 @authors={}