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
..
2021-01-26 15:36:44 -05:00
2021-01-26 15:36:44 -05:00
2021-01-26 15:36:44 -05:00
2021-01-26 16:19:47 -05:00
2021-01-07 13:27:17 +00:00
2021-01-25 13:46:35 -05:00
2021-01-25 13:46:51 -05:00
2021-01-28 10:54:26 +00:00
2021-01-26 16:19:47 -05:00
2021-01-26 15:36:44 -05:00