diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-12-13 12:54:54 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-12-13 12:54:54 -0400 |
| commit | a508c11b11b9dc627fadc01f611e5e5495432cec (patch) | |
| tree | 0aa8296b7fc293e1689580f54937cb1a5f9c71b6 /doc | |
| parent | 73bba2b53bac0783f128a95034581c98571a480f (diff) | |
comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/prevent_unwanted_init/comment_3_08bdae4e0c07b7833089b8b40472c3b0._comment | 11 |
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. +"""]] |