### Please describe the problem. Trying to rename the "here" repository fails ### What steps will reproduce the problem? * Start git-annex webapp in the console (for the first time, or remove old annex directory + .config/git-annex) * In the browser window that opens click "Make repository" * The "here" repository should show up in the dashboard * Go to settings and select edit * Change the repository name (e.g. to here2) and click save changes * You should be back at the dashboard and the repository name is still "here" ### What version of git-annex are you using? On what operating system? * git-annex version: 4.20130601 * build flags: Assistant Webapp Pairing Testsuite S3 WebDAV Inotify DBus XMPP DNS * built using cabal * on Ubuntu 13.04 32bit ### Please provide any additional information below. [[!format sh """ # If you can, paste a complete transcript of the problem occurring here. # If the problem is with the git-annex assistant, paste in .git/annex/daemon.log [2013-06-12 22:22:57 CEST] main: starting assistant version 4.20130601 (scanning...) [2013-06-12 22:22:57 CEST] Watcher: Performing startup scan (started...) # End of transcript or log. """]] > Made text field for this repository disabled. The current repository has no remote name to edit. [[done]] --[[Joey]]