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

New-Maintainer-Checklist: there are multiple places we list maintainers #6178

Merged
merged 1 commit into from
May 27, 2019
Merged

New-Maintainer-Checklist: there are multiple places we list maintainers #6178

merged 1 commit into from
May 27, 2019

Commits on May 27, 2019

  1. New-Maintainer-Checklist: there are multiple places we list maintainers 

    - I raised a PR for adding myself to the README. CI failed because the
  README had changed without the man pages changing too. Then I had to
  amend my "hello!" commit which was slightly embarrassing.
- Document that there are multiple places, and suggest `brew man` to
  generate man pages, so that the next people have it easier.
    @issyl0
    issyl0 committed May 27, 2019
    Configuration menu
    Copy the full SHA
    dd92fdf View commit details
    Browse the repository at this point in the history