Let the user specify any repo as their fork

Signed-off-by: Aanand Prasad <aanand.prasad@gmail.com>
This commit is contained in:
Aanand Prasad 2016-01-27 13:27:12 +00:00
parent 8fb90bd732
commit 110401b6f0
1 changed files with 3 additions and 3 deletions

View File

@ -86,10 +86,10 @@ echo "Push branch to user remote"
GITHUB_USER=$USER GITHUB_USER=$USER
USER_REMOTE="$(find_remote $GITHUB_USER/compose)" USER_REMOTE="$(find_remote $GITHUB_USER/compose)"
if [ -z "$USER_REMOTE" ]; then if [ -z "$USER_REMOTE" ]; then
echo "No user remote found for $GITHUB_USER" echo "$GITHUB_USER/compose not found"
read -r -p "Enter the name of your github user: " GITHUB_USER read -r -p "Enter the name of your GitHub fork (username/repo): " GITHUB_REPO
# assumes there is already a user remote somewhere # assumes there is already a user remote somewhere
USER_REMOTE=$(find_remote $GITHUB_USER/compose) USER_REMOTE=$(find_remote $GITHUB_REPO)
fi fi
if [ -z "$USER_REMOTE" ]; then if [ -z "$USER_REMOTE" ]; then
>&2 echo "No user remote found. You need to 'git push' your branch." >&2 echo "No user remote found. You need to 'git push' your branch."