grok-dumb-pull(1) on Linux

The text 40a457e1e591, as Debian 8 (Jessie) shipped it.

Update git repositories not managed by grokmirror

Flags it lists