@@ -82,13 +82,14 @@ we should request a review, by one of the reviewers below.
8282If that doesn't happen, you can also request a reviewer yourself (for reviewer expertise see below),
8383to make us aware of the open PR. Feel free to use Discord to get in touch with a reviewer in case reviewing is taking a very long time.
8484
85- | Reviewer | github handle | Area of expertise |
86- | -------------------------------------------------------------------------| ---------------| ---------------------------------------------|
87- | [ Anders Mörtberg] ( https://staff.math.su.se/anders.mortberg/ ) | [ mortberg] ( https://github.com/mortberg ) | * Most topics* |
88- | [ Evan Cavallo] ( https://ecavallo.net/ ) | [ ecavallo] ( https://github.com/ecavallo ) | * Most topics* |
89- | [ Felix Cherubini] ( https://felix-cherubini.de ) | [ felixwellen] ( https://github.com/felixwellen ) | * Mainly algebra related topics* |
90- | [ Max Zeuner] ( https://www.su.se/english/profiles/maze1512-1.450461 ) | [ mzeuner] ( https://github.com/mzeuner ) | * Algebra related topics* |
91- | [ Axel Ljungström] ( https://aljungstrom.github.io ) | [ aljungstrom] ( https://github.com/aljungstrom ) | * Synthetic homotopy theory and cohomology* |
92- | [ Andrea Vezzosi] ( http://saizan.github.io/ ) | [ Saizan] ( https://github.com/Saizan ) | * Inactive* |
85+ | Reviewer | github handle | Area of expertise |
86+ | --------------------------------------------------------------------| -----------------------------------------------| --------------------------------------------|
87+ | [ Anders Mörtberg] ( https://staff.math.su.se/anders.mortberg/ ) | [ mortberg] ( https://github.com/mortberg ) | * Most topics* |
88+ | [ Evan Cavallo] ( https://ecavallo.net/ ) | [ ecavallo] ( https://github.com/ecavallo ) | * Most topics* |
89+ | [ Felix Cherubini] ( https://felix-cherubini.de ) | [ felixwellen] ( https://github.com/felixwellen ) | * Mainly algebra related topics* |
90+ | [ Max Zeuner] ( https://www.su.se/english/profiles/maze1512-1.450461 ) | [ mzeuner] ( https://github.com/mzeuner ) | * Algebra related topics* |
91+ | [ Axel Ljungström] ( https://aljungstrom.github.io ) | [ aljungstrom] ( https://github.com/aljungstrom ) | * Synthetic homotopy theory and cohomology* |
92+ | [ Max New] ( http://maxsnew.com ) | [ maxsnew] ( https://github.com/maxsnew ) | * Category theory* |
93+ | [ Andrea Vezzosi] ( http://saizan.github.io/ ) | [ Saizan] ( https://github.com/Saizan ) | * Inactive* |
9394
9495[ Overview] ( https://github.com/agda/cubical/pulls?q=is%3Apr+is%3Aopen+sort%3Aupdated-asc+draft%3Afalse ) of the current open PRs, descending time since last action.
0 commit comments