Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Github Settings #249
Set GitHub configuration from the settings file, allows for democratic decision making around vital configuration.
Current state of the project is very dependent on manual work of developers, including in the pull request process.
We still need to complete documentation, but the process is outlined in #248