Commit Graph

1 Commits

Author SHA1 Message Date
Mikhail Gusarov 279ebc3173
[FIX #2636] Add script for merging external contributions
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>
2017-12-26 02:15:15 +01:00