Merge pull request #107 from hartwork/man-page-fix-sync

Get man page back in sync + fix in-sync check for CI

Author: hartwork

.github/workflows/enforce-copies-of-help-output-in-sync.yml

@@ -36,4 +36,4 @@ jobs:
         run: |-
           rm git-{delete-merged-branches,dmb}.1  # to enforce a diff for the generator to remove
           ./sync-manpage-with-help-output.sh
-          git diff --exit-code -- {delete-merged-branches,dmb}.1
+          git diff --exit-code -- git-{delete-merged-branches,dmb}.1

git-delete-merged-branches.1

@@ -1,5 +1,5 @@
 .\" DO NOT MODIFY THIS FILE!  It was generated by help2man.
-.TH GIT-DELETE-MERGED-BRANCHES "1" "December 2022" "git-delete-merged-branches 7.2.2" "User Commands"
+.TH GIT-DELETE-MERGED-BRANCHES "1" "December 2022" "git-delete-merged-branches 7.3.1" "User Commands"
 .SH NAME
 git-delete-merged-branches \- Command-line tool to delete merged Git branches
 .SH SYNOPSIS

git-dmb.1

@@ -1,5 +1,5 @@
 .\" DO NOT MODIFY THIS FILE!  It was generated by help2man.
-.TH GIT-DMB "1" "December 2022" "git-dmb 7.2.2" "User Commands"
+.TH GIT-DMB "1" "December 2022" "git-dmb 7.3.1" "User Commands"
 .SH NAME
 git-dmb \- Command-line tool to delete merged Git branches
 .SH SYNOPSIS

git_delete_merged_branches/_metadata.py

@@ -3,4 +3,4 @@
 
 APP = 'git-delete-merged-branches'
 DESCRIPTION = 'Command-line tool to delete merged Git branches'
-VERSION = '7.3.0'
+VERSION = '7.3.1'