diff options
author | Martin Nordholts <enselic@gmail.com> | 2022-05-09 08:37:49 +0200 |
---|---|---|
committer | Martin Nordholts <enselic@gmail.com> | 2022-05-09 09:47:30 +0200 |
commit | 4789c71a37f141b877d4be3b32dd8d25d4434b5b (patch) | |
tree | d39b567512bce0075c30e47a4ee30c8d25b75d80 | |
parent | be99b759d36a6934bfca89b4b591f0fa6b906d65 (diff) |
release-checklist.md: Recommend looking at the tip of master for `-h` and `man`
-rw-r--r-- | doc/release-checklist.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/release-checklist.md b/doc/release-checklist.md index 7daf1818..d50ea91d 100644 --- a/doc/release-checklist.md +++ b/doc/release-checklist.md @@ -22,6 +22,7 @@ - [ ] Review `-h`, `--help`, and the `man` page. All of these are shown in the output of the CI job called *Documentation*, so look there. + The CI workflow corresponding to the tip of the master branch is a good place to look. ## Pre-release checks |