diff options
author | http://johan.kiviniemi.name/ <Johan@web> | 2014-05-16 02:27:51 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2014-05-16 02:27:51 +0000 |
commit | c42c637a666101747b4cb6bd120d5405eaa1d147 (patch) | |
tree | 286435a11c5713f3285a9c77dc68d61f2ff680ec /doc/todo/windows_support | |
parent | 2f68964b3b2549c7e9cfad18c5b2e5dbecedab42 (diff) |
Added a comment
Diffstat (limited to 'doc/todo/windows_support')
-rw-r--r-- | doc/todo/windows_support/comment_13_59fbe4d07cdbeb786bae792f9c709ddd._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/todo/windows_support/comment_13_59fbe4d07cdbeb786bae792f9c709ddd._comment b/doc/todo/windows_support/comment_13_59fbe4d07cdbeb786bae792f9c709ddd._comment new file mode 100644 index 000000000..3d630ed0c --- /dev/null +++ b/doc/todo/windows_support/comment_13_59fbe4d07cdbeb786bae792f9c709ddd._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="http://johan.kiviniemi.name/" + nickname="Johan" + subject="comment 13" + date="2014-05-16T02:27:51Z" + content=""" +“The tricky part is that multiple git-annex assistant processes can be running, if there are multiple local repositories.” + +This would probably mean a lot of work, but it might be nice if there was just a single git-annex assistant per user which could take care of multiple local repos. The UI would be nicer, too, since the status of and notifications from every repository could be shown in the same place. +"""]] |