Skip to content
Snippets Groups Projects
Unverified Commit dde89d8d authored by Issy Long's avatar Issy Long
Browse files

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.
parent 59dd425f
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment