HomeSoftware Heritage

Use origin URLs instead of numeric ids.

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Use origin URLs instead of numeric ids.

Details

Provenance
vlorentzAuthored on Jun 12 2019, 3:05 PM
vlorentzPushed on Jun 13 2019, 2:52 PM
Differential Revision
D1573: Use origin URLs instead of numeric ids in the Git loader.
Build Status
Buildable 6195
Build 8545: test-and-build

Commit No Longer Exists

This commit no longer exists in the repository.