GROK-DUMB-PULL(1) | GROK-DUMB-PULL(1) |
GROK-DUMB-PULL - Update git repositories not managed by grokmirror
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.
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:
MAILTO=root # 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.
Email tools@linux.kernel.org.
mricon@kernel.org
License: GPLv3+
The Linux Foundation and contributors
2020-08-14 | 2.0.0 |