Proposal: PR merging policy

For discussion in this week’s WG call:

1) PRs labeled as “spec:editorial” can be merged at editors’ discretion and without discussion (i.e., after the quorum of editors has approved them). If the PR only contains the addition of an issue marker, it is implicitly considered labeled as “spec:editorial”.

2) PRs labeled as “spec:enhancement” can be only be merged
a) after the quorum of editors has approved them, and
b) after a grace period of one WG call cycle (currently one week).

3) PRs labeled as “needs discussion” cannot be merged until they have been discussed in a WG call, and subsequently resolved to have this label removed. The “needs discussion” label can be combined with any other labels.

Ora

--
Dr. Ora Lassila
Principal Technologist, Amazon Neptune