How to recover from wrong port naming at time of 1st commit?

[Joshua Root]

On 2014-12-11 19:03 , Marko wrote:
> Hi Josh,
> 
> On 11 Dec 2014, at 08:56 , Joshua Root <jmr at macports.org> wrote:
>> It's perfectly safe, it just doesn't give users who installed it under
>> the old name an automated update path. (I assume you would edit the
>> portfile to change the name between the move and the commit.)
> 
> the Portfile contains the required name already, which lead to failure at the buildbots!

Oh I see. Then nobody would have been able to install it.

> Well, as this is a new port, perhaps it is safe enough to simply “svn mv” it?!

Yes, that will work fine.

- Josh