[wp-hackers] Rename plugin directory name

[Lutz Schröer]

Hello,

for some reasons I've changed  the name for my plugin directory from 
"pagebar" to "pagebar2". This was no problem until the new "automatic 
update" feature, since it creates the "wrong" (old) directory.

Is there any possibility to rename the repository on the WP-server?

Thanks
Latz