This repository has been archived on 2022-01-28. You can view files and clone it, but cannot push or open issues or pull requests.
Marlin-Artillery-M600/buildroot/share/git/mfadd

37 lines
901 B
Text
Raw Normal View History

#!/usr/bin/env bash
#
# mfadd user[:branch] [copyname]
#
2018-03-02 03:41:01 +01:00
# Add a remote and fetch it. Optionally copy a branch.
#
# Examples:
# mfadd thefork
# mfadd thefork:patch-1
# mfadd thefork:patch-1 the_patch_12345
#
[[ $# > 0 && $# < 3 && $1 != "-h" && $1 != "--help" ]] || { echo "usage: `basename $0` user[:branch] [copyname]" 1>&2 ; exit 1; }
# If a colon or slash is included, split the parts
if [[ $1 =~ ":" || $1 =~ "/" ]]; then
[[ $1 =~ ":" ]] && IFS=':' || IFS="/"
read -a DATA <<< "$1"
2018-03-02 03:41:01 +01:00
USER=${DATA[0]}
BRANCH=${DATA[1]}
NAME=${2:-$BRANCH}
2018-03-02 03:41:01 +01:00
else
USER=$1
fi
2017-07-03 03:43:57 +02:00
MFINFO=$(mfinfo) || exit 1
IFS=' ' read -a INFO <<< "$MFINFO"
REPO=${INFO[2]}
set -e
echo "Adding and fetching $USER..."
2018-03-02 03:41:01 +01:00
git remote add "$USER" "git@github.com:$USER/$REPO.git" >/dev/null 2>&1 || echo "Remote exists."
2017-07-03 03:43:57 +02:00
git fetch "$USER"
2018-03-02 03:41:01 +01:00
[[ ! -z "$BRANCH" && ! -z "$NAME" ]] && git checkout -b "$NAME" --track "$USER/$BRANCH"