github-merge-pr: use --force for filter-repo commands