From: Hauke Mehrtens <hauke@hauke-m.de>
Date: Sat, 6 Jul 2024 16:07:25 +0000 (+0200)
Subject: github-merge-pr: doc: Install extra git-filter-repo
X-Git-Url: http://git.cdn.openwrt.org/?a=commitdiff_plain;h=b03ba9f35e6c084c961ff07e80cf14c071fa3efd;p=maintainer-tools.git

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>
---

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.