Stream: Coq devs & plugin devs

Topic: www PR conventions

view this post on Zulip 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)

view this post on Zulip Théo Zimmermann (Sep 19 2021 at 13:33):

Yes

view this post on Zulip Théo Zimmermann (Sep 19 2021 at 13:34):

You can even self-merge (without review) if you consider the case appropriate.

Last updated: May 28 2023 at 16:30 UTC