@echo off

REM Verifica se ci sono modifiche locali
call git diff-index --quiet HEAD --
if %errorlevel% neq 0 (
    set STASHED=1
    echo Modifiche locali trovate, eseguo stash...
    call git stash
) else (
    set STASHED=0
)

call git checkout %~1

call git pull

if %STASHED%==1 (
    echo Riapplico lo stash...
    call git stash pop
)