Karl Palmskog (Sep 19 2021 at 13:31): Karl Palmskog (Sep 19 2021 at 13:31):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)
Théo Zimmermann (Sep 19 2021 at 13:33):Yes
Théo Zimmermann (Sep 19 2021 at 13:34):You can even self-merge (without review) if you consider the case appropriate.
Last updated: Dec 05 2023 at 12:01 UTC