a minha duvida esta quanto ao uso do $git pull e $git push . eu fiz uma modificaçao no arquivo com o usario arthur , em seguida fiz o $git push -> $ git add -> git commit
agora criei uma pasta com o usario ana que quer grabalhar no mesmo arquivo ( pos o clone e tudo o mais) . $ git pull . mas esse naoa modifica o arquivo, ele cotninua igual. minha duvida é : quando a ana abrisse o arquivo apos o $git pull, esse ja nao deveria vir com as modificações feitas pelo Arhur ?
se nao fui claro, pode falar que eu reeescrevo mais detalhado . desde ja agradeco.