26 Jul
2022
26 Jul
'22
7:15 p.m.
gathering data from these could be aided by using git's support for object filtering, which lets git be used to access a remote repository without downloading all the objects