HomeSoftware Heritage

cli: rename the api-server command as rpc-serve

Description

cli: rename the api-server command as rpc-serve

but keep the api-server as an alias.
Also improve several commands' docstrings.

Details

Provenance
douarddaAuthored on May 16 2019, 4:24 PM
douarddaPushed on May 17 2019, 10:44 AM
Differential Revision
D1480: cli: rename the api-server command as rpc-serve
Parents
rDCIDX2f32fe893ba0: cli: reword the main cli's docstring
Branches
Unknown
Tags
Unknown
Build Status
Buildable 5773
Build 7905: test-and-build