HomeSoftware Heritage

pubdev: Update outdated lister documentation

Description

pubdev: Update outdated lister documentation

Details

Provenance
anlambertAuthored on Oct 27 2022, 4:55 PM
anlambertPushed on Oct 28 2022, 11:55 AM
Differential Revision
D8789: pubdev: Update outdated lister documentation
Parents
rDLS92d494261f26: lister: Make sure lister that requires github tokens can use it
Branches
Unknown
Tags
Unknown
Build Status
Buildable 32635
Build 51126: test-and-buildJenkins console · Jenkins