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

maintainers: fix formatting/indentation, cleanup #235923

Merged
merged 5 commits into from
Jun 4, 2023
Merged

maintainers: fix formatting/indentation, cleanup #235923

merged 5 commits into from
Jun 4, 2023

Commits on Jun 4, 2023

  1. maintainers: fix formatting/indentation

    @emilylange
    emilylange committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    7c0f98b View commit details
    Browse the repository at this point in the history

  2. maintainers/fix-maintainers.pl: ignore case 

    as this script would otherwise create a bunch of somewhat unnecessary/noisy renames that aren't "actual" renames
    @emilylange
    emilylange committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    756e89e View commit details
    Browse the repository at this point in the history

  3. maintainers: update a few changed GitHub usernames

    @emilylange
    emilylange committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    3788de5 View commit details
    Browse the repository at this point in the history

  4. maintainers: remove gordias 

    as their GitHub account appears to be deleted
    @emilylange
    emilylange committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    4bffe26 View commit details
    Browse the repository at this point in the history

  5. maintainers: remove WeebSorceress 

    as their GitHub account appears to be deleted
    @emilylange
    emilylange committed Jun 4, 2023
    Configuration menu
    Copy the full SHA
    139013b View commit details
    Browse the repository at this point in the history