github-merge-pr: be more conservative with git fetch

Be more conservative with git fetch and fetch only the require branch
for both origin and PR branch.

This should speedup git fetch and save on disk space as only the
required history and changes are downloaded.

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>

diff --git a/github-merge-pr.sh b/github-merge-pr.sh
index 191a5b15f8989da5a3fb98c3d18b3aa2d102d094..863d3b753aa0d5bd0c15156ba4e8171f7b320143 100755 (executable)
--- a/github-merge-pr.sh
+++ b/github-merge-pr.sh
@@ -65,7 +65,7 @@ fi
 
 echo "Pulling current $BRANCH from origin"
 $GIT checkout $BRANCH
-$GIT fetch origin
+$GIT fetch origin $BRANCH
 
 if ! $GIT rebase origin/$BRANCH; then
        echo "Failed to rebase $BRANCH with origin/$BRANCH" >&2
@@ -83,7 +83,7 @@ if ! $GIT remote get-url $PR_USER &> /dev/null || [ -n "$DRY_RUN" ]; then
 fi
 
 echo "Fetching remote $PR_USER"
-$GIT fetch $PR_USER
+$GIT fetch $PR_USER $PR_BRANCH
 
 if [ "$(echo "$PR_INFO" | jq -r ".maintainer_can_modify")" == "true" ]; then
        echo "Creating branch $LOCAL_PR_BRANCH for $PR_BRANCH"