The git filter-repo command is not available by default.
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
# 2. Make sure you can correctly push and force push to the github
# repository
#
# 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.
# Usage: github-merge-pr.sh PR_NUMBER BRANCH REPO_NAME
#
# BRANCH is optional and defaults to main.