diff options
author | 2014-07-11 19:29:06 +0000 | |
---|---|---|
committer | 2014-07-11 19:29:06 +0000 | |
commit | 18d46e2811f5780975ec4afbb5a1699825861866 (patch) | |
tree | ee71c73c933486eeab42dfe0cd1fca0cc5795b01 | |
parent | 1471197dd90b389a419ffe209fe059faaad7a173 (diff) |
Added a comment
-rw-r--r-- | doc/forum/USB_drive_in_transfer_group_keeps_growing_-_assistant/comment_3_7fb74f7fab6c1baff4ffc270cf15ef0a._comment | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/forum/USB_drive_in_transfer_group_keeps_growing_-_assistant/comment_3_7fb74f7fab6c1baff4ffc270cf15ef0a._comment b/doc/forum/USB_drive_in_transfer_group_keeps_growing_-_assistant/comment_3_7fb74f7fab6c1baff4ffc270cf15ef0a._comment new file mode 100644 index 000000000..df8333cb3 --- /dev/null +++ b/doc/forum/USB_drive_in_transfer_group_keeps_growing_-_assistant/comment_3_7fb74f7fab6c1baff4ffc270cf15ef0a._comment @@ -0,0 +1,15 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="209.250.56.2" + subject="comment 3" + date="2014-07-11T19:29:06Z" + content=""" +The webapp certianly allows deleting repositories. + +But, you can always go in and manually do it: + +<pre> +git annex dead $uuid +git annex group $uuid unwanted +</pre> +"""]] |