set /p REV_OLD=<git_rev.txt
git rev-list --all HEAD --all --count > git_rev.txt
set /p REV_NEW=<git_rev.txt

IF %REV_OLD%==%REV_NEW% set RESULT=TRUE
IF NOT %REV_OLD%==%REV_NEW% set RESULT=FALSE

echo %RESULT% > result.txt