diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2018-02-08 13:31:36 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2018-02-08 13:31:36 -0400 |
| commit | 351c5847de57aac775020d263ba73286ed73247c (patch) | |
| tree | 7a581880f223a27b4f3f4e958e35d82191c64622 /doc | |
| parent | e582ca77d991a3a62e2c14f5e4e1ba345c9f6a07 (diff) | |
comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/--get_option_for_diffdriver/comment_1_6b2501b2dc0318242e444e8d4b8b314f._comment | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/todo/--get_option_for_diffdriver/comment_1_6b2501b2dc0318242e444e8d4b8b314f._comment b/doc/todo/--get_option_for_diffdriver/comment_1_6b2501b2dc0318242e444e8d4b8b314f._comment new file mode 100644 index 000000000..afaa14e98 --- /dev/null +++ b/doc/todo/--get_option_for_diffdriver/comment_1_6b2501b2dc0318242e444e8d4b8b314f._comment @@ -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. +"""]] |