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

tools: ping TSC members identified as inactive #40915

Merged
merged 3 commits into from Nov 24, 2021
Merged

tools: ping TSC members identified as inactive #40915

merged 3 commits into from Nov 24, 2021

Commits on Nov 24, 2021

  1. tools: ping TSC members identified as inactive 

    When detecting TSC members as inactive, @-mention them in the pull
request that moves them to emeritus. This notifies them in case the pull
request is in error.
    @Trott
    Trott committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    b5cebc7 View commit details
    Browse the repository at this point in the history

  2. fixup! tools: ping TSC members identified as inactive

    @Trott
    Trott committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    344c45d View commit details
    Browse the repository at this point in the history

  3. fixup! fixup! tools: ping TSC members identified as inactive

    @Trott
    Trott committed Nov 24, 2021
    Configuration menu
    Copy the full SHA
    4131953 View commit details
    Browse the repository at this point in the history