#!/bin/sh
# Copyright 2019 Google LLC
# SPDX-License-Identifier: Apache-2.0

set -e

if [ $# -ne 1 ]; then
	cat >&2 <<EOF
usage: git fetch-pr https://github.com/[repo]/pull/[number]

EOF
	exit 129
fi

exec git fetch $(
	echo "$1" |
		sed -E 's|^https?://(www\.)?github.com/([^/]+)/([^/]+)/pull/([^/]+).*|https://github.com/\2/\3 refs/pull/\4/head|')