blob: 1d7244213e69400f29e075498074fc104480f782 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/bin/sh
# git merge-pr PRNUM[@REMOTE] [GIT-AM FLAGS...] - apply GitHub pull request from command-line
set -e
PR=${1?no pull request given}
REMOTE=
case "$PR" in
*@*)
REMOTE=${PR#*@}
PR=${PR%%@*}
esac
shift
URL=$(git ls-remote --get-url $REMOTE)
PROJECT=${URL%.git}
PROJECT=${PROJECT##*:}
PROJECT=${PROJECT#//github.com/}
PATCH="$(mktemp)"
trap "rm -f $PATCH" INT TERM EXIT
wget -nv -O "$PATCH" https://github.com/$PROJECT/pull/"$PR".patch
git am "$@" "$PATCH"
if [ "$(git config --bool --get merge-pr.autoclose)" = false ]; then
exit 0
fi
# Rewrite last commit message to close GitHub issue.
EDITOR='sh -c '\''git -c trailer.closes.ifExists=replace interpret-trailers \
--trailer "Closes: #'"$PR"' [via git-merge-pr]" "$1" > "$1-" &&
mv "$1-" "$1"'\'' -' \
git commit --quiet --amend
|