Merge PR rocq-prover#21569: changelog for 9.2

Reviewed-by: SkySkimmer
Ack-by: mattam82
Ack-by: gares
Ack-by: jfehrle
Ack-by: silene
Ack-by: proux01
Co-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com>

Author: coqbot-app[bot]

.mailmap

@@ -30,6 +30,7 @@ Frédéric Besson <frederic.besson@inria.fr>         fbesson <fbesson@85f007b7-5
 Frédéric Besson <frederic.besson@inria.fr>         BESSON Frederic <frederic.besson@inria.fr>
 Frédéric Besson <frederic.besson@inria.fr>         fajb <fajb@users.noreply.github.com>
 Siddharth Bhat <siddu.druid@gmail.com>             Siddharth <siddu.druid@gmail.com>
+Eric Bistal < >                                    ericbistal-coder
 Lasse Blaauwbroek <lasse@blaauwbroek.eu>           Lasse Blaauwbroek <lasse@lasse-work.localdomain>
 Lasse Blaauwbroek <lasse@blaauwbroek.eu>           LasseBlaauwbroek
 Martin Bodin <martin.bodin@ens-lyon.org>           Martin Bodin <mbodin@ic.ac.uk>
@@ -50,17 +51,20 @@ Arthur Charguéraud <arthur@chargueraud.org>        charguer <arthur@chargueraud
 chluebi <42419603+chluebi@users.noreply.github.com>  chluebi <42419603+chluebi@users.noreply.github.com>
 Tej Chajed <tchajed@mit.edu>                       tchajed
 Jeffrey Chang <72239159+JeffreyChang12@users.noreply.github.com>  JeffreyChang12 <72239159+JeffreyChang12@users.noreply.github.com>
+Dan Christensen                                    jdchristensen <jdchristensen@users.noreply.github.com>
 Xavier Clerc <xavier.clerc@inria.fr>               xclerc <xclerc@85f007b7-540e-0410-9357-904b9bb8a0f7>
 Xavier Clerc <xavier.clerc@inria.fr>               xclerc <xavier.clerc@inria.fr>
 Cyril Cohen <cyril.cohen@crans.org>                Cyril Cohen <cohen@crans.org>
 Cyril Cohen <cyril.cohen@crans.org>                Cyril Cohen <CohenCyril@users.noreply.github.com>
 Cyril Cohen <cyril.cohen@crans.org>                CohenCyril <CohenCyril@users.noreply.github.com>
 Juan Conejero <juanconrod@protonmail.com>                 Juan C <juanconrod@protonmail.com>
 Pierre Corbineau <Pierre.Corbineau@NOSPAM@imag.fr> corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7>
+Pierre Corbineau <Pierre.Corbineau@NOSPAM@imag.fr> PierreCorbineau
 Judicaël Courant <courant@gforge>                  courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7>
 Pierre Courtieu <Pierre.Courtieu@cnam.fr>          courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7>
 Pierre Courtieu <Pierre.Courtieu@cnam.fr>          Matafou
 Julien Cretin <github@ia0.eu>                      ia0 <git@ia0.eu>
+Tomás Díaz <tomdtron@gmail.com>                    TDiazT
 David Delahaye <delahaye@gforge>                   delahaye <delahaye@85f007b7-540e-0410-9357-904b9bb8a0f7>
 Maxime Dénès <mail@maximedenes.fr>                 mdenes <mdenes@85f007b7-540e-0410-9357-904b9bb8a0f7>
 Maxime Dénès <mail@maximedenes.fr>                 Maxime Denes <maximedenes@gillespie.inria.fr>
@@ -151,6 +155,7 @@ Larry Darryl Lee Jr. <llee454@gmail.com>           llee454@gmail.com <llee454@gm
 Larry Darryl Lee Jr. <llee454@gmail.com>           Larry D. Lee Jr <llee454@gmail.com>
 Rodolphe Lepigre <rodolphe@bedrocksystems.com>     rlepigre
 Rodolphe Lepigre <rodolphe@bedrocksystems.com>     rlepigre-skylabs-ai
+Yann Leray <yann.leray@inria.fr>                   yannl35133 <yannl35133@users.noreply.github.com>
 Xavier Leroy <xavier.leroy@college-de-france.fr>   Xavier Leroy <xavier.leroy@inria.fr>
 Pierre Letouzey <pierre.letouzey@inria.fr>         letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
 Pierre Letouzey <pierre.letouzey@inria.fr>         letouzey <pierre.letouzey@inria.fr>
@@ -159,6 +164,7 @@ Yishuai Li <yishuai@cis.upenn.edu>                 Yishuai Li <yishuai@upenn.edu
 Yishuai Li <yishuai@cis.upenn.edu>                 Yishuai Li <liyishuai@users.noreply.github.com>
 Assia Mahboubi <assia.mahboubi@inria.fr>           amahboub <amahboub@85f007b7-540e-0410-9357-904b9bb8a0f7>
 Kenji Maillard <kenji.maillard@inria.fr>           Kenji Maillard <kenji@maillard.blue>
+Kenji Maillard <kenji.maillard@inria.fr>           kyoDralliam
 Evgeny Makarov <emakarov@gforge>                   emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7>
 Gregory Malecha <gmalecha@eecs.harvard.edu>        Gregory Malecha <gmalecha@cs.harvard.edu>
 Gregory Malecha <gmalecha@eecs.harvard.edu>        Gregory Malecha <gmalecha@gmail.com>

dev/tools/list-contributors.sh

@@ -7,14 +7,14 @@ if [ $# != 1 ]; then
   exit 1
 fi
 
-git shortlog -s -n --no-merges --group=author --group=trailer:Co-authored-by $1 | cut -f2 | sort -k 2 | grep -v -e "coqbot" -e "^$" > contributors.tmp
+git shortlog -s -n --no-merges --group=author --group=trailer:Co-authored-by $1 | cut -f2 | sort -k 2 | grep -v -e "coqbot" -e "copilot" -e "^$" > contributors.tmp
 
 cat contributors.tmp | wc -l | xargs echo "Contributors:"
 cat contributors.tmp | $SED -z "s/\n/, /g"
 echo
 rm contributors.tmp
 
-git shortlog -s -n --merges --group=author --group=trailer:Co-authored-by $1 | cut -f2 | sort -k 2 | grep -v -e "coqbot" -e "^$" > assignees.tmp
+git shortlog -s -n --merges --group=author --group=trailer:Co-authored-by $1 | cut -f2 | sort -k 2 | grep -v -e "coqbot" -e "copilot" -e "^$" > assignees.tmp
 
 cat assignees.tmp | wc -l | xargs echo "Assignees:"
 cat assignees.tmp | $SED -z "s/\n/, /g"