diff options
Diffstat (limited to 'server/mrrepo')
| -rwxr-xr-x | server/mrrepo | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/server/mrrepo b/server/mrrepo index e22e5dd..5e7d0fb 100755 --- a/server/mrrepo +++ b/server/mrrepo @@ -19,6 +19,10 @@ # - needs curl # - run from cron as user scm (which belongs to the group scm). # +# To test, run: +# +# runuser -u scm -- /var/scm/mrrepo -s -v git.example.org /var/scm +# usage="usage: $0 [-v] [-s] <host> <path>" owd="$(pwd)" @@ -81,7 +85,7 @@ function fetch () # <url> [<curl-options>] local u="$1"; shift if [ "$verb" -ge 1 ]; then - info "${curl_ops[@]}" "$@" "$u" + info curl "${curl_ops[@]}" "$@" "$u" fi curl "${curl_ops[@]}" "$@" "$u" @@ -126,6 +130,10 @@ for r in "${new[@]}"; do info git -C "$r" fetch "${git_ops[@]}" --prune --tags fi git -C "$r" fetch "${git_ops[@]}" --prune --tags + + # Also update the description file. + # + fetch "$prot://$host/$r/description" -z "$r/description" -o "$r/description" fi done |