Pulls, rebases, displays, signs and pushes external contributions. If jq(1) and curl(1) are available, can pull data from GitHub and mark PRs as closed, otherwise only code merging works. Signed-off-by: Oskar Thoren <ot@oskarthoren.com>