diff options
| author | Erich Eckner <git@eckner.net> | 2019-05-29 14:45:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-05-29 14:45:06 +0200 |
| commit | 2fd966d1ce652f8bb71aa2ea0e6f313e06bab641 (patch) | |
| tree | 3ef70d2b6e87649327c50852d2e81a8154759322 | |
| parent | 1fd5b95798896930cf78eb96e1644b59f684a627 (diff) | |
| download | gitolite-sync-2fd966d1ce652f8bb71aa2ea0e6f313e06bab641.tar.xz | |
gitolite-sync: show which repo is being sync'ed
| -rwxr-xr-x | gitolite-sync | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gitolite-sync b/gitolite-sync index 1ee7cac..f25ba4e 100755 --- a/gitolite-sync +++ b/gitolite-sync @@ -16,6 +16,8 @@ find "${home}/repositories" \ -printf '%p\n' \ -prune \ | while read -r path; do + >&2 printf 'synchronizing "%s" ...\n' \ + "${path}" remotes=$( git -C "${path}" remote -v \ | grep '[@.]eckner\.net:' \ |