cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

Update README and add a list of reviewers

Open felixwellen opened this issue 2 years ago • 2 comments

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 avatar Aug 10 '22 13:08 felixwellen

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 avatar Aug 10 '22 13:08 felixwellen

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 avatar Aug 10 '22 14:08 felixwellen

Done with merging of the PR

felixwellen avatar Sep 12 '22 07:09 felixwellen