darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (https://hub.darcs.net)

#86repo members see repo buttons they can't use

When you are made a member of someone else's repo, you can't view repo settings or delete the repo, but you will see the buttons for those things.