github-merge-pr: use --force for filter-repo commands
authorChristian Marangi <ansuelsmth@gmail.com>
Mon, 29 Apr 2024 10:22:37 +0000 (12:22 +0200)
committerChristian Marangi <ansuelsmth@gmail.com>
Mon, 29 Apr 2024 10:22:37 +0000 (12:22 +0200)
commitdb54a345e510b88f7f0f6623428f5198efe50396
treeefde8d0f999aadc393657f7d7ea45551fd34d12a
parentb3e12e849bf104cd1d3423742fc8f43912959fcb
github-merge-pr: use --force for filter-repo commands

Use --force for filter-repo commands to handle special branch merged by
Committer that wouldn't be fresh copy as required by filter-repo
commands.

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
github-merge-pr.sh