HomeSoftware Heritage

Git updated: make --origin-url CLI option required

Description

Git updated: make --origin-url CLI option required

because it really is

Details

Provenance
zackAuthored on Sep 14 2018, 5:20 PM
zackPushed on Sep 14 2018, 5:21 PM
Parents
rDLDGeadefcb15384: Never go further than the previously fetched HEADs when updating a repository
Branches
Unknown
Tags
Unknown