diff options
author | Aanand Prasad <aanand.prasad@gmail.com> | 2016-01-27 13:27:12 +0000 |
---|---|---|
committer | Aanand Prasad <aanand.prasad@gmail.com> | 2016-01-27 15:40:28 +0000 |
commit | 634ae7daa59a8f2fe3410ff8b538651fcb9a6662 (patch) | |
tree | 11a60e8b5585f2f559db41a1e5e05c2cb1eb9f6b /script/release | |
parent | 3547c55523f67b31f8f54936c0ac743f55b22036 (diff) |
Let the user specify any repo as their fork
Signed-off-by: Aanand Prasad <aanand.prasad@gmail.com>
Diffstat (limited to 'script/release')
-rwxr-xr-x | script/release/make-branch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/script/release/make-branch b/script/release/make-branch index 82b6ada0..46ba6bbc 100755 --- a/script/release/make-branch +++ b/script/release/make-branch @@ -86,10 +86,10 @@ echo "Push branch to user remote" GITHUB_USER=$USER USER_REMOTE="$(find_remote $GITHUB_USER/compose)" if [ -z "$USER_REMOTE" ]; then - echo "No user remote found for $GITHUB_USER" - read -r -p "Enter the name of your github user: " GITHUB_USER + echo "$GITHUB_USER/compose not found" + read -r -p "Enter the name of your GitHub fork (username/repo): " GITHUB_REPO # assumes there is already a user remote somewhere - USER_REMOTE=$(find_remote $GITHUB_USER/compose) + USER_REMOTE=$(find_remote $GITHUB_REPO) fi if [ -z "$USER_REMOTE" ]; then >&2 echo "No user remote found. You need to 'git push' your branch." |