From 351c5847de57aac775020d263ba73286ed73247c Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 8 Feb 2018 13:31:36 -0400 Subject: comment --- .../comment_1_6b2501b2dc0318242e444e8d4b8b314f._comment | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 doc/todo/--get_option_for_diffdriver/comment_1_6b2501b2dc0318242e444e8d4b8b314f._comment (limited to 'doc') 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. +"""]] -- cgit v1.2.3