boot.sh: Workaround to not show diff for some versions of git.