github-merge-pr: use --force for filter-repo commands
[maintainer-tools.git] / README
2017-12-23 Jonas Gorskiinitial commit