Home
Software Heritage
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Git loader
5c0926072ddd
Git updated: make --origin-url CLI option required
5c0926072ddd
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
Description
Git updated: make --origin-url CLI option required
because it really is
Details
Provenance
zack
Authored on Sep 14 2018, 5:20 PM
zack
Pushed 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
Event Timeline
zack
committed
rDLDG5c0926072ddd: Git updated: make --origin-url CLI option required
(authored by
zack
).
Sep 14 2018, 5:20 PM
2018-09-14 17:20:30 (UTC+2)