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

🏗 A few minor OWNERS fixes #24971

Merged
merged 5 commits into from
Oct 9, 2019
Merged

🏗 A few minor OWNERS fixes #24971

merged 5 commits into from
Oct 9, 2019

Commits on Oct 9, 2019

  1. Clean up prettier config for OWNERS files

    @rsimha
    rsimha committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    6fe6cc0 View commit details
    Browse the repository at this point in the history

  2. Don't ignore OWNERS files in ignored directories while linting

    @rsimha
    rsimha committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    1f274c7 View commit details
    Browse the repository at this point in the history

  3. Auto-fix a few OWNERS files

    @rsimha
    rsimha committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    5d8c78b View commit details
    Browse the repository at this point in the history

  4. Don't auto-request reviews from contributors who no longer work on AM… 

    …P full-time
    @rsimha
    rsimha committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    ee2c0c9 View commit details
    Browse the repository at this point in the history

  5. Address feedback

    @rsimha
    rsimha committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    4d0ec83 View commit details
    Browse the repository at this point in the history