diff options
author | https://www.google.com/accounts/o8/id?id=AItOawnNqLKszWk9EoD4CDCqNXJRIklKFBCN1Ao <maurizio@web> | 2014-07-17 19:48:30 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2014-07-17 19:48:30 +0000 |
commit | b34a7dc9375c524562236853644d67f02fa26640 (patch) | |
tree | 40b9436d4757008fbd73a2ba904dd6ba5bb02da6 | |
parent | 9645b2afc0bf33102edd043eac70e2081faecf0c (diff) |
Added a comment
-rw-r--r-- | doc/forum/USB_drive_in_transfer_group_keeps_growing_-_assistant/comment_4_5925b609aff0954f2860269cff107284._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/forum/USB_drive_in_transfer_group_keeps_growing_-_assistant/comment_4_5925b609aff0954f2860269cff107284._comment b/doc/forum/USB_drive_in_transfer_group_keeps_growing_-_assistant/comment_4_5925b609aff0954f2860269cff107284._comment new file mode 100644 index 000000000..31a7e63d8 --- /dev/null +++ b/doc/forum/USB_drive_in_transfer_group_keeps_growing_-_assistant/comment_4_5925b609aff0954f2860269cff107284._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawnNqLKszWk9EoD4CDCqNXJRIklKFBCN1Ao" + nickname="maurizio" + subject="comment 4" + date="2014-07-17T19:48:30Z" + content=""" +I may be facing one unexpected behavior, but your statement that the \"webapp certainely allows to delete repositories\" does not match my experience. It does offer this option, but this option has failed on me so many times that I have learnt to live with a couple of repositories disabled, sitting here. Trying to delete them starts some process (emptying the repository, starting deletion process) but ends up in nothing. At least one of them does not seem to have a name anymore (probably what you refer to as $uuid) since only the part in square bracket is visible in the webapp. I concluded that this was what the webapp was supposed to do. +"""]] |