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: Mar 28 2024 at 16:02 UTC