mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

comment

Browse source
This commit is contained in:
Joey Hess 2018-02-08 13:31:36 -04:00
parent 3e692f7371
commit 5109d406c0
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 17 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
doc/todo/--get_option_for_diffdriver/comment_1_6b2501b2dc0318242e444e8d4b8b314f._comment Normal file
View file

@ -0,0 +1,17 @@
[[!comment format=mdwn
username="joey"
subject="""comment 1"""
date="2018-02-08T17:28:21Z"
content="""
This is a good idea. I wonder what to do about the objects it downloads for
a diff; should they be left in the annex for later use/dropunused, or
immediately deleted after the diff completes.
My inclination is to keep
them around, for one thing when I'm diffing stuff I often run diff more
than once, perhaps to widen the diff or because I want to take a second
look at it, and re-downloading a bunch of big files would be painful then.
By the way, what diffdriver program are you using? I've had a hard time
finding any real-life examples of git diffdrivers.
"""]]