agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Self-review guidelines for maintainers

Open fredrik-bakke opened this issue 6 months ago • 1 comments

Document a process for maintainers to self-review and merge pull requests when other maintainers are not available to review.

fredrik-bakke avatar May 14 '25 10:05 fredrik-bakke

Looks very reasonable, thanks for writing it down. For the "Complete and document the self-review process in the PR" point, I understand that you mean the author should copy the preceding checklist to a comment on the PR and check the boxes, potentially with comments. I'd say this explicitly in the docs.

VojtechStep avatar May 14 '25 16:05 VojtechStep