darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (https://hub.darcs.net)
#56possible to create two (broken) repos with the same name
stevan reports: Here is how to reproduce it:
- create a new repo (not sure if it's important that it's private) via the web ui
- go back to "my repos"
- create a new repo with the same name as in (1)
- both are listed but unaccessible ("not found" error) via "my repos"
- status set to closed
Can't reproduce, it now returns to my repos with a "destination repository already exists" error alert.
