4 Commits

Author SHA1 Message Date
Issy Long
dde89d8d2b
dev-cmd/update-maintainers: If there are changes, auto-update man pages
- I noticed this in a PR recently, maybe the maintainer didn't think
  they would have to run `brew man` for this? In that case there's an
  extra step after the PR is raised, red CI checks on the PR (which is
  demoralising) and potentially requires a reviewer to point this out.
- This runs `brew man` if the `README` file has a diff as part of this
  command. Then the user has to `git add .` and their PR is (probably)
  good.
2021-02-09 21:26:08 +00:00
nandahkrishna
15f936a22a
dev-cmd/update-maintainers: implement suggestions from code review 2021-02-08 23:33:26 +05:30
nandahkrishna
90632ce274
dev-cmd/update-maintainers: modify Linux maintainer wording in README 2021-02-08 23:33:25 +05:30
nandahkrishna
6026c7c74d
brew update-maintainers: dev-cmd to update maintainers in README 2021-02-08 23:33:25 +05:30