blob: ba9fa2d40713d55c9a28e52d76830f5e5e192e9d (
plain)
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
34
35
36
37
38
39
40
41
42
|
#!/bin/bash
set -euE
is_int() {
local re='^[0-9]+$'
[[ $1 =~ $re ]]
}
errusage() {
if [[ $# != 0 ]]; then
echo >&2 "${0##*/}: error: $*"
fi
echo >&2 "Usage: ${0##*/} [REMOTE] PR_NUMS..."
return 2
}
main() {
if [[ $# == 0 ]]; then
errusage 'require 1 or more PR numbers'
fi
local remote=origin
if ! is_int "$1"; then
remote=$1
shift
if [[ $# == 0 ]]; then
errusage 'require 1 or more PR numbers'
fi
fi
local refspecs=()
for pr in "$@"; do
if ! is_int "$pr"; then
errusage "not a number: ${pr@Q}"
fi
refspecs+=(
"refs/pull/${pr}/head:refs/pull/${pr}/head"
#"refs/pull/${pr}/merge:refs/pull/${pr}/merge"
)
done
git fetch --force "$remote" "${refspecs[@]}"
}
main "$@"
|