examples/grok-pull.post_update_hook: fetch mirror description

The $INBOX_URL/description endpoint is available since v1.3.0,
so use it in mirrors.

diff --git a/examples/grok-pull.post_update_hook.sh b/examples/grok-pull.post_update_hook.sh
index d003448eb81b0f5328f31c178751584839dfe74d..e04eb2c5ec35d4318deaf41ea9f9d1cacd5be240 100755 (executable)
--- a/examples/grok-pull.post_update_hook.sh
+++ b/examples/grok-pull.post_update_hook.sh
@@ -93,6 +93,7 @@ case $cfg_dir in
                # only one newsgroup per inbox
                break
        done
+       curl -sSfv "remote_inbox_url"/description >"$inbox_dir"/description
        echo "I: $inbox_name at $inbox_dir ($addresses) $local_url"
        ;;
 esac