github-apply.sh: add script to rebase, merge and close Github pull requests
[maintainer-tools.git] / github-apply.sh
2018-02-04 Jo-Philipp Wichgithub-apply.sh: add script to rebase, merge and close...