diff options
| author | Raghuram Subramani <raghus2247@gmail.com> | 2025-10-14 16:41:23 -0400 |
|---|---|---|
| committer | Raghuram Subramani <raghus2247@gmail.com> | 2025-10-14 16:41:23 -0400 |
| commit | 635e0ce52d634445c3ae4e783b91363b478722df (patch) | |
| tree | 532496a30fc23f70478afe7207ebbeb51a615899 /clone-all-github | |
| parent | 73501ef43da902ca57f52cdffbe281653de905d7 (diff) | |
clone-all-github->sync-github
Diffstat (limited to 'clone-all-github')
| -rwxr-xr-x | clone-all-github | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/clone-all-github b/clone-all-github deleted file mode 100755 index 739f8db..0000000 --- a/clone-all-github +++ /dev/null @@ -1,29 +0,0 @@ -#!/usr/bin/env bash - -USER=compromyse -REPOS=$(curl https://api.github.com/users/$USER/repos 2>/dev/null) - -for i in $(seq 0 1 $(( $(echo $REPOS | jq length) - 1 ))); do - name=$(echo $REPOS | jq -r .[$i].name) - description=$(echo $REPOS | jq -r .[$i].description) - - repo=$name.git - - if [ ! -d $HOME/$repo ]; then - - git clone --bare https://github.com/$USER/$repo $HOME/$repo - - pushd $HOME/$repo > /dev/null - - for remote in $(git remote show); do - git remote remove $remote - git remote add github git@github.com:$USER/$repo - git fetch github - done - - echo "$description" > description - - popd > /dev/null - - fi -done |
