summaryrefslogtreecommitdiff
path: root/doc/todo/prevent_unwanted_init/comment_3_08bdae4e0c07b7833089b8b40472c3b0._comment
diff options
context:
space:
mode:
Diffstat (limited to 'doc/todo/prevent_unwanted_init/comment_3_08bdae4e0c07b7833089b8b40472c3b0._comment')
-rw-r--r--doc/todo/prevent_unwanted_init/comment_3_08bdae4e0c07b7833089b8b40472c3b0._comment11
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/todo/prevent_unwanted_init/comment_3_08bdae4e0c07b7833089b8b40472c3b0._comment b/doc/todo/prevent_unwanted_init/comment_3_08bdae4e0c07b7833089b8b40472c3b0._comment
new file mode 100644
index 000000000..7e105341f
--- /dev/null
+++ b/doc/todo/prevent_unwanted_init/comment_3_08bdae4e0c07b7833089b8b40472c3b0._comment
@@ -0,0 +1,11 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 3"""
+ date="2017-12-13T16:52:22Z"
+ content="""
+Of course, `git annex uninit` should make it easy to undo an accidental
+init if you know you don't want to use git-annex in the repo.
+
+So, this idea must be more about repos whose users don't know there's a
+policy reason not to use git-annex in them.
+"""]]