Текущее состояние проекта в phpstorm не соответствует положению HEAD?
Я сделал коммит+push на сервер. Потом, чтобы его отменить, не подумав, выполнил reset и revert. В итоге проект на локалке откатился до предыдущего комита. Делаю pull с основного сервера, но проект на локалке не переходит в состояние последнего коммита. Как в phpstorm в git перенести текущее состояние проекта на определенный, в данном случае последний коммит?