Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Moving community approved extensions to ratified #472
I propose that the board ratify the community approved extensions:
For these reasons:
Please use this pull request to merge the changes once ratification is achieved, poll me to update the pull request (with actual dates if required), or throw it away if ratification at this stage is not feasible.