From 0098e82864b6462ab65e44e9b83236678af5f78e Mon Sep 17 00:00:00 2001 From: "https://www.google.com/accounts/o8/id?id=AItOawniayrgSdVLUc3c6bf93VbO-_HT4hzxmyo" Date: Mon, 22 Apr 2013 20:24:19 +0000 Subject: --- doc/bugs/Repository_deletion_error.mdwn | 37 +++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 doc/bugs/Repository_deletion_error.mdwn diff --git a/doc/bugs/Repository_deletion_error.mdwn b/doc/bugs/Repository_deletion_error.mdwn new file mode 100644 index 000000000..faebf2a83 --- /dev/null +++ b/doc/bugs/Repository_deletion_error.mdwn @@ -0,0 +1,37 @@ +**What steps will reproduce the problem?** + +On the dashboard, click settings > Delete on the repo you want to remove. +Wait for the dropping to finish. +Start final deletion when the message "The repository "repo" has been emptied, and can now be removed." pops up. + +**What is the expected output? What do you see instead?** + +The repository should be deleted, but I only see "Internal Server Error: git [Param "remote",Param "remove",Param "repo"] failed". + +**What version of git-annex are you using? On what operating system?** + +Standalone build, git-annex version 4.20130417-g4bb97d5 + +**Please provide any additional information below.** + +The log shows: + + [2013-04-22 22:17:22 CEST] TransferScanner: The repository "repo" has been emptied, and can now be removed. + error: Unknown subcommand: remove + usage: git remote [-v | --verbose] + or: git remote add [-t ] [-m ] [-f] [--mirror=] + or: git remote rename + or: git remote rm + or: git remote set-head (-a | -d | ) + or: git remote [-v | --verbose] show [-n] + or: git remote prune [-n | --dry-run] + or: git remote [-v | --verbose] update [-p | --prune] [( | )...] + or: git remote set-branches [--add] ... + or: git remote set-url [] + or: git remote set-url --add + or: git remote set-url --delete + + -v, --verbose be verbose; must be placed before a subcommand + + + -- cgit v1.2.3