[maintainer-tools PATCH 4/4] github-merge-pr: doc: Install extra git-filter-repo

[Hauke Mehrtens]

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

Signed-off-by: Hauke Mehrtens <hauke at hauke-m.de>
---
 github-merge-pr.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/github-merge-pr.sh b/github-merge-pr.sh
index f294c85..1bd3e2f 100755
--- a/github-merge-pr.sh
+++ b/github-merge-pr.sh
@@ -6,6 +6,8 @@
 # 2. Make sure you can correctly push and force push to the github
 #    repository
 #
+# Make sure to install the extra git-filter-repo package.
+#
 # Usage: github-merge-pr.sh PR_NUMBER BRANCH REPO_NAME
 #
 # BRANCH is optional and defaults to main.
-- 
2.45.2