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