Files
hush3/contrib/devtools/github-merge.sh