git push e git pull alteram seus arquivos somente quando houver diferenças.
se você tentar git add --all quando não houver alterações, não adicionará nada,
os git commit -m "" e git push subseqüentes também não terão efeito.
o script que você mencionou deve funcionar corretamente.
se você quiser verificações extras, poderá fazer git remote update , em seguida, git diff para ver a diferença antes de mesclar os arquivos locais.