github-merge-pr: be more conservative with git fetch
authorChristian Marangi <ansuelsmth@gmail.com>
Thu, 2 Nov 2023 19:36:06 +0000 (20:36 +0100)
committerChristian Marangi <ansuelsmth@gmail.com>
Thu, 2 Nov 2023 19:36:06 +0000 (20:36 +0100)
commite5e4154d15f6d1c178783bd5f6e5b37510d1f81c
tree4dd365deb52be2b604a0c5923859cdd22f0aa9dc
parent87ad03d80b002cce754efd1789859dfb18fa7f50
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>
github-merge-pr.sh