Generally, we avoid merging things or going ahead with decisions unless at least two core owners have approved it. A point raised in discussion in #3 was that we might want to clarify this policy in this document.
It's been implicit for a long time that at least one other person would be involved in every decision, but never explicit that a decision might need only one person to be decided. There are surely decisions that require a quorum. And there are surely decisions that require a plenum.
Generally, we avoid merging things or going ahead with decisions unless at least two core owners have approved it. A point raised in discussion in #3 was that we might want to clarify this policy in this document.
@joneshf, https://github.com/purescript/governance/pull/3#discussion_r415088073
@natefaubion, https://github.com/purescript/governance/pull/3#discussion_r415106336