2022-04-26 11:26:22 +00:00
|
|
|
#!/bin/bash -e
|
2021-06-19 19:24:14 +00:00
|
|
|
# Clones a fork and sets a corresponding upstream
|
2021-10-11 08:02:14 +00:00
|
|
|
# ARGS
|
2022-01-11 12:23:56 +00:00
|
|
|
# - repo name (omit if setting upstream in existing repo)
|
2021-06-19 19:24:14 +00:00
|
|
|
# - upstream user
|
2022-04-26 11:26:22 +00:00
|
|
|
# - own user
|
2021-10-11 08:02:14 +00:00
|
|
|
# - url
|
2021-10-08 10:31:00 +00:00
|
|
|
# - target directory name (and further arguments to clone)
|
2022-04-26 11:26:22 +00:00
|
|
|
# In an existing repo, first arg is omitted
|
|
|
|
|
test $# -eq 0 && echo "Usage: $0 [repo] [upstream owner] [own user] [url]" && exit 2
|
|
|
|
|
# TODO check from subdir
|
2021-10-31 19:21:35 +00:00
|
|
|
if test -d ".git"
|
2022-01-11 12:23:56 +00:00
|
|
|
then repo="$(basename "$PWD")"
|
|
|
|
|
git remote set-url origin "$(git-repo "${3:-github.com}" "$repo" "$2" "${@:4}")"
|
2022-01-12 11:44:28 +00:00
|
|
|
else repo="$1" && shift
|
|
|
|
|
git-get "${3:-github.com}" "$repo" "${2:-$(git config --get user.name)}" "${@:4}"
|
|
|
|
|
cd "$(expr "$4" \| "$repo")"
|
2021-10-31 19:21:35 +00:00
|
|
|
fi
|
2022-01-16 13:14:17 +00:00
|
|
|
user="${1:-$repo}"
|
|
|
|
|
git remote add upstream "$(git-repo "${3:-github.com}" "$repo" "$user")"
|
2021-06-19 19:24:14 +00:00
|
|
|
git remote -v
|
