server/name_mapping.json

{
  "dev": "[email protected]"
}