cleanup
This commit is contained in:
parent
21a925dcf1
commit
e83b966eb5
2 changed files with 27 additions and 18 deletions
|
@ -15,3 +15,9 @@ merged. This could be reduced to a single call to `git-cat-file --batch`,
|
|||
There is already a Git.CatFile library that can do this easily. --[[Joey]]
|
||||
|
||||
> This is now done, part above remains todo. --[[Joey]]
|
||||
|
||||
---
|
||||
|
||||
Merging used to use memory proportional to the size of the diff. It now
|
||||
streams data, running in constant space. This probably sped it up a lot,
|
||||
as there's much less allocation and GC action. --[[Joey]]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue