diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-09-07 14:32:47 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-09-07 14:32:47 -0400 |
commit | 6e7dcece6022e5078c2ef2c25d94ee1f23419234 (patch) | |
tree | 70c1b4c4ac3ed56bb2bf4f3b358aa1033283565f /doc/design | |
parent | d910a94df7d6f5c87897c248586cb65523457f99 (diff) |
avoid renaming to temp files before deleting
Only rename when actually ncessary.
The diff gets buffered in memory. Probably git has to buffer a diff in
memory when generating it as well, so this memory usage should not be a
problem, even when the diff is very large. I hope.
This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'doc/design')
0 files changed, 0 insertions, 0 deletions