`git merge-pr`: CLI for merging GitHub PRs (via API) with completions

_git-merge-pr

#compdef git-merge-pr

_git-merge-pr () {
    # Note: requires hub and jq to be installed

    # https://developer.github.com/v3/pulls/#list-pull-requests
    # hub api /repos/{owner}/{repo}/pulls
    PRS=$(
        hub api /repos/{owner}/{repo}/pulls \
            | jq 'map({title, number, head})'
    )

    PRS_DETAIL_STRING=$(
        echo $PRS \
            | jq --raw-output 'map((.number | tostring) + ": " + .head.ref + ", " + .title) | .[]'
    )

    # https://unix.stackexchange.com/questions/29724/how-to-properly-collect-an-array-of-lines-in-zsh
    # TODO: avoid leaking IFS?
    IFS=$'\n' PRS_DETAIL=($(echo "$PRS_DETAIL_STRING"))

    _describe 'pull request' PRS_DETAIL
}

demo.png

git-merge-pr

#!/bin/bash

# Note: requires hub and jq to be installed

# If a script errors, force the script to fail immediately.
set -e

ID=$1
# https://unix.stackexchange.com/questions/225943/except-the-1st-argument/225951#225951
REST=${@:2}

PR_PATH="repos/{owner}/{repo}/pulls/$ID"

echo "Merging $ID"

# https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button
echo $REST | xargs hub api -XPUT $PR_PATH/merge