Если имя файла было изменено на сервере, то вам просто нужно обновить его, чтобы получить последнюю версию, вероятно, старое имя останется, но просто удалите его.Если вы не зафиксировали изменения в своем туалете, просто отмените все изменения, сделанные на вашей стороне, а затем обновите папку.