HomeSoftware Heritage

Improve uri election to reference in github mirror

Description

Improve uri election to reference in github mirror

Details

Provenance
ardumontAuthored on Feb 7 2017, 7:02 PM
ardumontPushed on Feb 7 2017, 7:21 PM
Parents
rDMIRFOR1cd0d5836753: Fix pep8 violations
Branches
Unknown
Tags
Unknown