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:

  1. create a new repo (not sure if it's important that it's private) via the web ui
  2. go back to "my repos"
  3. create a new repo with the same name as in (1)
  4. both are listed but unaccessible ("not found" error) via "my repos"