Мы переехали на другой домен. При push выходит такое сообщение.

Push failed Ssh: Could not resolve hostname "mydomain": Name or service not known Could not read from remote repository. Please make sure you have the correct access rights and the repository exists.

Как изменить старый домен на новый в PHPStorm? Что то я не разберусь.