search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
454 stars 139 forks source link

Update README and add a list of reviewers #885

Closed felixwellen closed 2 years ago

felixwellen commented 2 years ago

We need a list of reviewers, maybe together with some hints about the parts of the library they review. It would be good to update the README in general.

felixwellen commented 2 years ago

Maybe we could also say: If your PR is not assigned to someone in a couple of days, assign it to one of the reviewers..

felixwellen commented 2 years ago

Maybe that's a good overview, of the things to review: https://github.com/agda/cubical/pulls?q=is%3Apr+is%3Aopen+sort%3Aupdated-asc+draft%3Afalse

felixwellen commented 2 years ago

Done with merging of the PR