Github merge PR aliases

.gitconfig

[alias]
    pr  = "!f() { git fetch -fu ${2:-$(git remote |grep ^upstream || echo origin)} refs/pull/$1/head:pr/$1 && git checkout pr/$1; }; f"
    pr-clean = "!git for-each-ref refs/heads/pr/* --format='%(refname)' | while read ref ; do branch=${ref#refs/heads/} ; git branch -D $branch ; done"
    mpr = "!f() { git merge --no-ff --no-commit pr/$1 -m \"Merge $(github_get_issue $( (git remote get-url upstream 2>/dev/null || git remote get-url origin ) | sed -e 's/^[^:]*://' -e 's/[.].*$//') $1)\"; }; f"
    jfmpr = "!f() { git fetch -fu ${2:-$(git remote |grep ^upstream || echo origin)} refs/pull/$1/head:pr/$1 && git merge --no-ff --no-commit pr/$1 -m \"Merge $(github_get_issue $( (git remote get-url upstream 2>/dev/null || git remote get-url origin ) | sed -e 's/^[^:]*://' -e 's/[.].*$//') $1)\"; }; f"

github_get_issue.py

#!/usr/bin/python3
# -*- encoding=utf-8 -*-
#
# Prereq:
#   $ pip3 install --user PyGithub
#
# Rename this file `github_get_issue`, move it to `~/bin`, and make it executable to use the aliases.

import github
import sys


def get_issue(repo, issue_num):
    g = github.Github()
    return g.get_repo(repo, lazy=True).get_issue(issue_num)


if __name__ == '__main__':
    if len(sys.argv) < 3:
        print('Usage: {0} <user/repo: str> <issue_num: int>'.format(sys.argv[0]))
        sys.exit(1)
    if not sys.argv[2].isnumeric():
        print('Usage: {0} <user/repo: str> <issue_num: int>\nERROR: {1!r} is not numeric'.format(
            sys.argv[0], sys.argv[2]))
        sys.exit(1)
    i = get_issue(sys.argv[1], int(sys.argv[2]))
    br = '"' if "'" in i.title else "'"
    print('{br}{i.title}{br} (#{i.number})'.format(br=br, i=i))