GROK-DUMB-PULL(1) - manual page | User commands

Update git repositories not managed by grokmirror.