diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-02-09 12:39:57 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-02-09 12:39:57 -0400 |
| commit | c8775e294cddd42c31714954e7c2bde7b4e08018 (patch) | |
| tree | d1d3cfbfb1531d8156c956e0c20bc2b77a0dcaef /doc | |
| parent | 9d861414a3168f471300a1d8b01a12c1e951aa0e (diff) | |
comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/dumb__44___unsafe__44___human-readable_backend/comment_1_d8db68bd9ebc4447617cfcb5c0c164a0._comment | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/todo/dumb__44___unsafe__44___human-readable_backend/comment_1_d8db68bd9ebc4447617cfcb5c0c164a0._comment b/doc/todo/dumb__44___unsafe__44___human-readable_backend/comment_1_d8db68bd9ebc4447617cfcb5c0c164a0._comment new file mode 100644 index 000000000..b3614e8d1 --- /dev/null +++ b/doc/todo/dumb__44___unsafe__44___human-readable_backend/comment_1_d8db68bd9ebc4447617cfcb5c0c164a0._comment @@ -0,0 +1,11 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2016-02-09T16:37:11Z" + content=""" +Use what filename? A key can have any number of associated filenames in one +or several git branches. The filenames can change at any time. + +AFAICS, this is a "pony" request. It seems like a good idea, but doesn't +really work when you look at the details. +"""]] |