From f4abd9b29596ce1afa26f5b43bd8597127f72252 Mon Sep 17 00:00:00 2001 From: Christian Marangi Date: Thu, 15 Feb 2024 21:56:45 +0100 Subject: [PATCH] github-merge-pr: add generic enough instruction on how to use the script Add generic enough instruction on how to use the github-merge-pr script. Signed-off-by: Christian Marangi --- github-merge-pr.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/github-merge-pr.sh b/github-merge-pr.sh index 6d0dbe5..e22f3df 100755 --- a/github-merge-pr.sh +++ b/github-merge-pr.sh @@ -1,5 +1,13 @@ #!/bin/bash +# How to setup the repository to make this correctly work +# 1. Clone repo and make sure you can correctly push to that +# (example with openwrt main repo you need to use ssh remote url) +# 2. Make sure you can correctly push and force push to the github +# repository +# +# Usage: github-merge-pr.sh PR_NUMBER BRANCH + # Github repository, just the name/repo part, no .git suffix, no base url! REPO="openwrt/openwrt" -- 2.30.2