Update Developer Guide for GitHub teams management #2701
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
What is the purpose of this pull request?
Addresses #2073.
Overview of changes:
As brought up in #2073, we should include a section in the developer guide for GitHub team management. This will allow the GitHub teams to be more closely maintained by the senior developers, and allow for easy mass requests e.g. mass PR reviews from all junior or senior developers.
Anything you'd like to highlight/discuss:
This PR shouldn't close issue #2073; ideally, we should test out this workflow at least once more before finalizing it.
Testing instructions:
Proposed commit message: (wrap lines at 72 characters)
Update Developer Guide for GitHub teams management
Checklist: ☑️
Reviewer checklist:
Indicate the SEMVER impact of the PR:
At the end of the review, please label the PR with the appropriate label:
r.Major
,r.Minor
,r.Patch
.Breaking change release note preparation (if applicable):