Ok. We're going for the second option. Try 10 times and if still no unique name use a random prefix.
This has the advantage of mostly preserving old behavior while still addressing this edge case.
PD: I changed the title of the issue to more accurately explain the problem.
Agustín.
Ok. We're going for the second option. Try 10 times and if still no unique name use a random prefix.
This has the advantage of mostly preserving old behavior while still addressing this edge case.
PD: I changed the title of the issue to more accurately explain the problem.