github-merge-pr: doc: Install extra git-filter-repo
authorHauke Mehrtens <hauke@hauke-m.de>
Sat, 6 Jul 2024 16:07:25 +0000 (18:07 +0200)
committerChristian Marangi <ansuelsmth@gmail.com>
Tue, 16 Jul 2024 17:09:38 +0000 (19:09 +0200)
commitb03ba9f35e6c084c961ff07e80cf14c071fa3efd
tree98f3478b77dedbe591b2630b0ccf67e11f149924
parentbed63ed659a61bab5cc046d8ac8c8774b294f0e6
github-merge-pr: doc: Install extra git-filter-repo

The git filter-repo command is not available by default.

Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
github-merge-pr.sh