...
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
...
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.
To merge a pull request (screenshots forthcoming):
Navigate to the techdocs repository.
Select “Pull requests.”
From the list of requests, select the specific pull request to merge.
Merge the commit(s) into the base branch by selecting “Merge pull request” (if this option is not shown, select “Create a merge commit” from the drop down menu)
If prompted, type a commit message.
Select “Confirm merge.”