git diff | patch -R -p1ну, вот этот вот patch — это по сути, отмена локальных правок. Это костыль, позволяющий делать правочки на продакшене (а точнее, отменяющий их при каждой выкатке). Мы такого не делаем, поэтому можно смело сбрасывать рабочую копию на конкретную ревизию кода.