В чем разница между командами git push и git pull, и в каких случаях каждая из них применяется?