DOKK / manpages / debian 10 / grokmirror / grok-dumb-pull.1.en

GROK-DUMB-PULL - Update git repositories not managed by grokmirror

grok-dumb-pull [options] /path/to/repos

This is a satellite utility that updates repositories not exported via grokmirror manifest. You will need to manually clone these repositories using "git clone --mirror" and then define a cronjob to update them as frequently as you require. Grok-dumb-pull will bluntly execute "git remote update" in each of them.

show program's version number and exit
show this help message and exit
Be verbose and tell us what you are doing
The remotes for these repositories are Subversion
Only fetch remotes matching this name (accepts globbing, can be passed multiple times)
Run this hook after each repository is updated. Passes full path to the repository as the sole argument.
Put debug logs into this file

The following will update all bare git repositories found in /path/to/repos hourly, and /path/to/special/repo.git daily, fetching only the "github" remote:

# Update all repositories found in /path/to/repos hourly
0 * * * * mirror /usr/bin/grok-dumb-pull /path/to/repos
# Update /path/to/special/repo.git daily, fetching "github" remote
0 0 * * * mirror /usr/bin/grok-dumb-pull -r github /path/to/special/repo.git

Make sure the user "mirror" (or whichever user you specified) is able to write to the repos specified.

Please send support requests to the mailing list:

License: GPLv3+

The Linux Foundation and contributors

2013-08-22 0.4