github-apply.sh: add script to rebase, merge and close Github pull requests
[maintainer-tools.git] / maketag.sh
2017-12-23 Jo-Philipp Wichadd a script for creating release tags