diff options
author | https://www.google.com/accounts/o8/id?id=AItOawniayrgSdVLUc3c6bf93VbO-_HT4hzxmyo <Tobias@web> | 2013-04-22 20:24:19 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2013-04-22 20:24:19 +0000 |
commit | 0098e82864b6462ab65e44e9b83236678af5f78e (patch) | |
tree | f0ffb2428f90dcdf0e408f915e81a0d6e23fca4e | |
parent | e4e9a89ed17486ff1453fb074cfc3f9eb2533c29 (diff) |
-rw-r--r-- | doc/bugs/Repository_deletion_error.mdwn | 37 |
1 files changed, 37 insertions, 0 deletions
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 <branch>] [-m <master>] [-f] [--mirror=<fetch|push>] <name> <url> + or: git remote rename <old> <new> + or: git remote rm <name> + or: git remote set-head <name> (-a | -d | <branch>) + or: git remote [-v | --verbose] show [-n] <name> + or: git remote prune [-n | --dry-run] <name> + or: git remote [-v | --verbose] update [-p | --prune] [(<group> | <remote>)...] + or: git remote set-branches [--add] <name> <branch>... + or: git remote set-url <name> <newurl> [<oldurl>] + or: git remote set-url --add <name> <newurl> + or: git remote set-url --delete <name> <url> + + -v, --verbose be verbose; must be placed before a subcommand + + + |