diff options
| author | Eric Wong <e@80x24.org> | 2021-09-15 21:35:55 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2021-09-15 23:12:51 +0000 |
| commit | 6393ec8118e7f5481ab476c2d73614c89c64866f (patch) | |
| tree | 691feeb1756ee9366ba6546d29f5fb03447fcbe8 /TODO | |
| parent | ae6cd61cf7cb9988d6e9178dbdeebfb6109e74da (diff) | |
| download | public-inbox-6393ec8118e7f5481ab476c2d73614c89c64866f.tar.gz | |
As noted in the new manpage entry, this is useful for avoiding public-inbox-index invocations when there's nothing to update. We use 127 to match "grok-pull", and also because it doesn't conflict with any of the current curl(1) exit codes.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions