right now all users have this mail: [email protected]
when you try to change a profile you cannot save it because should be unique. This can potentially produce more problems:
The proposal is to mask user's mail as: <user>@guifi.net
Implement one of the two options:
- change it in script (would be nice if this is public) - @miquelmartos (?)
- change it in the building of the development environment