diff mbox series

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

Message ID 20240706160725.3257906-5-hauke@hauke-m.de
State Accepted
Delegated to: Hauke Mehrtens
Headers show
Series github-merge-pr: Misc patches | expand

Commit Message

Hauke Mehrtens July 6, 2024, 4:07 p.m. UTC
The git filter-repo command is not available by default.

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

Patch

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.