GROK-DUMB-PULL(1) Update git repositories not managed by grokmirror