Skip to content
This repository has been archived by the owner on Sep 2, 2023. It is now read-only.

Document quorum required in order to merge PRs #26

Merged
merged 4 commits into from
Feb 28, 2018
Merged

Document quorum required in order to merge PRs #26

merged 4 commits into from
Feb 28, 2018

Commits on Feb 14, 2018

  1. Document quorum required in order to merge PRs

    @bfarias-godaddy
    bfarias-godaddy committed Feb 14, 2018
    Configuration menu
    Copy the full SHA
    04eb785 View commit details
    Browse the repository at this point in the history

  2. observers callout

    @bfarias-godaddy
    bfarias-godaddy committed Feb 14, 2018
    Configuration menu
    Copy the full SHA
    9268f71 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2018

  1. errata and editorial exceptions

    @bfarias-godaddy
    bfarias-godaddy committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    68e828f View commit details
    Browse the repository at this point in the history

  2. be more explicit about scope of merging PRs

    @bfarias-godaddy
    bfarias-godaddy committed Feb 15, 2018
    Configuration menu
    Copy the full SHA
    c1ba493 View commit details
    Browse the repository at this point in the history