Home
Software Heritage
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Git loader
8e40d92d6a5b
git-remote-reader: Remove unneeded db reading
8e40d92d6a5b
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-remote-reader: Remove unneeded db reading
We want to read everything from the remote.
Details
Provenance
ardumont
Authored on Oct 26 2016, 2:38 PM
ardumont
Pushed on Oct 26 2016, 5:10 PM
ardumont
Pushed on Oct 26 2016, 5:10 PM
Parents
rDLDGfe31d8101c89: reader-git: Display count information
Branches
Unknown
Tags
Unknown
Event Timeline
ardumont
committed
rDLDG8e40d92d6a5b: git-remote-reader: Remove unneeded db reading
(authored by
ardumont
).
Oct 26 2016, 2:51 PM
2016-10-26 14:51:03 (UTC+2)