(bug 18019) Warn users when moving a file to a name in use on a shared repo.