# This file describes the maintainers for the main components. See
# `dev/doc/MERGING.md`.

########## GitHub metadata, including this file ##########

/.github/         @maximedenes
# Secondary maintainer @Zimmi48

########## CI infrastructure ##########

/dev/ci/*.sh      @ejgallego
# Secondary maintainer @SkySkimmer

/.travis.yml      @ejgallego
# Secondary maintainer @SkySkimmer

/.gitlab-ci.yml   @SkySkimmer
# Secondary maintainer @ejgallego

/appveyor.yml    @maximedenes
# Secondary maintainer @SkySkimmer

/default.nix     @Zimmi48
# Secondary maintainer @vbgl

########## Documentation ##########

/README.md        @Zimmi48
# Secondary maintainer @maximedenes

/INSTALL*         @Zimmi48
# Secondary maintainer @maximedenes

/CONTRIBUTING.md  @Zimmi48
# Secondary maintainer @maximedenes

/dev/doc/         @Zimmi48
# Secondary maintainer @maximedenes

/doc/             @maximedenes
# Secondary maintainer @silene

/man/             @silene
# Secondary maintainer @maximedenes

########## Coqchk ##########

/checker/         @barras
# Secondary maintainer @maximedenes

########## Coq lib ##########

/clib/            @ppedrot
# Secondary maintainer @ejgallego

/lib/             @ejgallego
# Secondary maintainer @ppedrot

########## Proof engine ##########

/engine/          @ppedrot
# Secondary maintainer @aspiwack

########## Grammar macros ##########

/grammar/         @ppedrot
# Secondary maintainer @maximedenes

########## CoqIDE ##########

/ide/             @ppedrot
# Secondary maintainer @gares

########## Interpretation ##########

/interp/          @herbelin
# Secondary maintainer @ejgallego

########## Interfaces ##########

/intf/            @letouzey
# Secondary maintainer @ppedrot

########## Kernel ##########

/kernel/          @maximedenes
# Secondary maintainer @barras

/kernel/byterun/  @maximedenes
# Secondary maintainer @silene

########## Library ##########

/library/         @silene
# Secondary maintainer @gares

########## Parser ##########

/parsing/         @herbelin
# Secondary maintainer @mattam82

########## Plugins ##########

/plugins/btauto/  @ppedrot
# Secondary maintainer @herbelin

# I don't know Pierre Corbineau's GitHub nickname
/plugins/cc/            @herbelin

/plugins/derive/        @aspiwack
# Secondary maintainer @ppedrot

/plugins/extraction/    @letouzey
# Secondary maintainer @maximedenes

# I don't know Pierre Corbineau's GitHub nickname
/plugins/firstorder/    @herbelin

/plugins/fourier/       @herbelin
# Secondary maintainer @gares

/plugins/funind/        @forestjulien
# Secondary maintainer @Matafou

/plugins/ltac/          @ppedrot
# Secondary maintainer @herbelin

/plugins/micromega/     @fajb
# Secondary maintainer @bgregoir

/plugins/nsatz/         @thery
# Secondary maintainer @ppedrot

/plugins/omega/         @letouzey

/plugins/romega/        @letouzey

/plugins/setoid_ring/   @amahboubi
# Secondary maintainer @bgregoir

/plugins/ssrmatching/   @gares
# Secondary maintainer @maximedenes

/plugins/ssr/           @gares
# Secondary maintainer @maximedenes

/plugins/syntax/        @ppedrot
# Secondary maintainer @maximedenes

/plugins/quote/ @herbelin

# Should be Pierre Corbineau too
/plugins/rtauto/ @herbelin

########## Pretyper ##########

/pretyping/       @mattam82
# Secondary maintainer @gares

########## Pretty printer ##########

/printing/        @herbelin
# Secondary maintainer @mattam82

########## Proof infrastructure ##########

/proofs/          @ppedrot
# Secondary maintainer @Zimmi48

########## STM ##########

/stm/             @gares
# Secondary maintainer @ejgallego

########## Tactics ##########

/tactics/         @ppedrot
# Secondary maintainer @mattam82

########## Standard library ##########

/theories/Arith/          @letouzey
# Secondary maintainer @herbelin

/theories/Bool/           @letouzey
# Secondary maintainer @herbelin

/theories/Classes/        @mattam82
# Secondary maintainer @herbelin

/theories/FSets/          @letouzey
# Secondary maintainer @herbelin

/theories/Init/           @letouzey
# Secondary maintainer @ppedrot

/theories/Lists/          @letouzey
# Secondary maintainer @ppedrot

/theories/Logic/          @herbelin
# Secondary maintainer @ppedrot

/theories/MSets/          @letouzey
# Secondary maintainer @herbelin

/theories/NArith/         @letouzey
# Secondary maintainer @herbelin

/theories/Numbers/        @letouzey
# Secondary maintainer @herbelin

/theories/PArith/         @letouzey
# Secondary maintainer @herbelin

/theories/Program/        @mattam82
# Secondary maintainer @herbelin

/theories/QArith/         @letouzey
# Secondary maintainer @herbelin

/theories/Reals/          @silene
# Secondary maintainer @ppedrot

/theories/Relations/      @mattam82
# Secondary maintainer @ppedrot

/theories/Setoids/        @mattam82
# Secondary maintainer @ppedrot

/theories/Sets/           @letouzey
# Secondary maintainer @herbelin

/theories/Sorting/        @letouzey
# Secondary maintainer @herbelin

/theories/Strings/        @letouzey
# Secondary maintainer @herbelin

/theories/Structures/     @letouzey
# Secondary maintainer @herbelin

/theories/Unicode/        @letouzey
# Secondary maintainer @herbelin

/theories/Wellfounded/    @letouzey
# Secondary maintainer @mattam82

/theories/ZArith/         @letouzey
# Secondary maintainer @herbelin

/theories/Compat/         @JasonGross
# Secondary maintainer @Zimmi48

/theories/Vectors/        @herbelin

########## Tools ##########

/tools/coqdoc/          @silene
# Secondary maintainer @mattam82

/tools/coq_makefile*    @gares
# Secondary maintainer @silene

/tools/CoqMakefile*     @gares
# Secondary maintainer @silene

/tools/coqdep*          @ppedrot
# Secondary maintainer @maximedenes

/tools/coq_tex*         @silene
# Secondary maintainer @gares

/tools/coqwc*           @silene
# Secondary maintainer @gares

########## Toplevel ##########

/toplevel/        @ejgallego
# Secondary maintainer @gares

########## Vernacular ##########

/vernac/          @mattam82
# Secondary maintainer @maximedenes

########## Build system ##########

/Makefile*        @letouzey
# Secondary maintainer @maximdenes

/configure*       @letouzey
# Secondary maintainer @ejgallego

/META.coq         @ejgallego
# Secondary maintainer @letouzey