Skip to content

CLI: generalize 'map lookup' to lookup many identifiers at once

Stefano Zacchiroli requested to merge generated-differential-D2379-source into generated-differential-D2379-target

Multiple identifiers (of either kind) can be passed either directly on the CLI or via stdin. In the latter case logical lines in stidn will be preserved in stdout.

Closes #2112 (closed)

Migrated from D2379 (view on Phabricator)

Merge request reports