HomeSoftware Heritage

git-remote-reader: Deal with unknown repository

Description

git-remote-reader: Deal with unknown repository

Details

Provenance
ardumontAuthored on Oct 26 2016, 2:43 PM
ardumontPushed on Oct 26 2016, 5:10 PM
ardumontPushed on Oct 26 2016, 5:10 PM
Parents
rDLDG8e40d92d6a5b: git-remote-reader: Remove unneeded db reading
Branches
Unknown
Tags
Unknown