what conventions are we using for www PRs? Can the author merge with one approving review? (prompted by https://github.com/coq/www/pull/180)
Yes
You can even self-merge (without review) if you consider the case appropriate.
Last updated: Dec 05 2023 at 12:01 UTC