...
All TechDocs sub-team members should have write permissions to the tech-docs repository. Before the beginning of each term, the sub-team lead should email Christine DiBella with the Github handles of the sub-team members to facilitate access.
Pull Requests
In the context of Git repositories, a pull request is an event where a contributor asks the repository’s maintainer to review changes they want to merge into the base branch.
About Pull Requests
Pull requests to the repository should be reviewed and merged promptly.
Straightforward pull requests with no conflicts should be merged by the subteam Lead, or delegated to other TAC members if needed.
Pull requests with branch conflicts or content that warrants review by a developer can be identified by the Lead for a program developer to merge.
Draft pull requests cannot be merged, and can remain in the repository.
...