diff options
| author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-12-10 19:57:25 -0300 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-12-10 19:57:25 -0300 |
| commit | d00c7af7a28fa9d061a00b3e9af6d31309d0ad7f (patch) | |
| tree | 9bc96328960627ce48f91a1e5882f256ce9abdb1 | |
| parent | 54887dea107480384a9031d778f2891fe46a7b86 (diff) | |
Update mirror according to StackOverflow
http://stackoverflow.com/questions/6150188/how-to-update-a-git-clone-mirror
| -rwxr-xr-x | git-shell-commands/fetch-mirrors | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-shell-commands/fetch-mirrors b/git-shell-commands/fetch-mirrors index b2a1350..6268bf9 100755 --- a/git-shell-commands/fetch-mirrors +++ b/git-shell-commands/fetch-mirrors @@ -11,7 +11,7 @@ set -e pushd "$_mirror" >/dev/null - git fetch + git remote update popd >/dev/null |