Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improved regular reviews #16

Merged
merged 3 commits into from
Jul 25, 2024
Merged

Improved regular reviews #16

merged 3 commits into from
Jul 25, 2024

Commits on Jul 11, 2024

  1. Remove broken unprivileged owners code

    @infinisil
    infinisil committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    e173f23 View commit details
    Browse the repository at this point in the history

  2. Only list doc dir in monthly reviews

    @infinisil
    infinisil committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    b49970f View commit details
    Browse the repository at this point in the history

  3. Resolve teams to users for reviews 

    The monthly reviews mention teams, but that doesn't give a notification
to the team, see also https://github.com/orgs/community/discussions/39049.

This commit fixes that by expanding the team to the users that are part
of it.
    @infinisil
    infinisil committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    0d473e1 View commit details
    Browse the repository at this point in the history