Skip to content

Standardize and document steps wrt to GitHub teams and PR review procedure #2073

Description

@tlylt

Please confirm that you have searched existing issues in the repo

Yes, I have searched the existing issues

Any related issues?

No response

What is the area that this feature belongs to?

No response

Is your feature request related to a problem? Please describe.

We probably don't need an extensive/stage-wise PR review pipeline, but I do think that it could be useful if we have up-to-date GitHub teams to allow for requesting mass PR reviews (more than 1 person)
So

  • a cs3281-2023 team containing all latest students in cs3281 (including people of similar capacity)
  • a cs3282-2023 team containing all latest students in cs3282 (including people of similar capacity)
  • an active team (which is what we have in active-devs, though may not be entirely up-to-date)

Describe the solution you'd like

Probably simple documentation on the steps to achieve the above in our project management docs, including a ~ once-a-year maintenance process to review the team settings/make updates every year.

Describe alternatives you've considered

Best if we can automate the above via GitHub Actions or other tools.

Additional context

Suggestions/feedback on the plan.

Metadata

Metadata

Assignees

Labels

Type

No type
No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions