Release Procedures

(Unlabeled items are handled by the Release Manager)

Patch releases (x.y.z, z ≥ 1)

Dot-zero releases (x.y.0)