diff options
author | Ben Sima <ben@bsima.me> | 2022-09-02 09:58:30 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2022-09-02 09:58:30 -0400 |
commit | 5bfee664988b2235f5b2becece0372e8b3e99f6c (patch) | |
tree | 290579fd188c800238d7575ded1f66984a7f2bcd | |
parent | 36c593a40b642a7b0f07fe450a321a9ab749330d (diff) |
cleanup spacing
-rwxr-xr-x | ghclone | 12 |
1 files changed, 0 insertions, 12 deletions
@@ -1,23 +1,17 @@ #!/usr/bin/env bash - set -e - usage () { printf "usage: $(basename $0) <owner>[/]<repo>\n" >&2 exit 1 } - already_exists () { printf "%s\n" "$2" exit 2 } - root=${GITHUB_ROOT:-"$HOME/src"} owner="$1" repo="$2" - [ -z "$owner" ] && usage - if [ -z "$repo" ]; then IFS='/' read -ra parsed <<< "$owner" owner="${parsed[0]}" @@ -26,22 +20,16 @@ if [ -z "$repo" ]; then usage fi fi - dest="$root/$owner" dir="$dest/$repo" - [ -d "$dir" ] && already_exists "$owner/$repo" "$dir" - mkdir -p "$dest" cd "$dest" git clone "git@github.com:$owner/$repo" - git config \ --file="$dir/.git/config" \ --add remote.origin.fetch '+refs/pull/*/head:refs/pull/origin/*' - git config \ --file="$dir/.git/config" \ --add remote.origin.fetch '+refs/pull/*/merge:refs/merge/origin/*' - printf "%s\n" "$dest/$repo" |