diff options
| -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. +"""]] |