github-merge-pr: permit to target other repository name
[maintainer-tools.git] / README
2017-12-23 Jonas Gorskiinitial commit