It looks like the question Why won't I see changes in the remote repo after "git push"?
The push
operation is always about propagating the repository history and updating the refs, and never touches the working tree files.
In particular, if you push to update the branch that is checked out in a remote repository the files in the work tree will not be updated.
This is a precautionary design decision.
The remote repository's work tree may have local changes, and there is no way for you, who are pushing into the remote repository, to resolve conflicts between the changes you are pushing and the ones in the work tree
As said, a bare remote repo is better here.
You can setup a non-bare repo in the same place than MAIN CODEBASE
, in order to see the changes in that "non-bare main codebase repo".
Note: with the upcoming Git 1.7, git push
into a branch that is currently checked out (i.e. pointed by HEAD in a repository that is not bare) will be refused by default.
git pull
should not overwrite anything, at least not without big warnings. Do you see any of those warning messages?
As kibitzer aptly describes in the comment:
bare
means a repository which does not contain the actual files, just the metadata (commits). Pushes to such repository are safe because no discrepancy is generated between the state of files on disk and commits in .git
The fact that this remote repo is "empty" (it only has the .git
folder, but no file checked-out) does not mean a git clone
will result in an empty local repo.
It will create and check-out an initial branch that is forked from the cloned repository's currently active branch.
So, the "publication architecture" would be:
/---
| MAIN SERVER : [ BARE-MAIN-REPO ] == (pull only) ==> [ MAIN-REPO ]
\--- ^^ || ^^ ||
|| || || ||
push pull push pull
|| || || ||
/--- || vv || ||
|DEV1 PC : [ DEV1 REPO ] || ||
\--- || ||
|| ||
/--- || vv
|DEV2 PC : [ DEV2 REPO ]
\---
Note: if you refer to the Git Glossary, what "origin" means is the default upstream repository.
Bare-main-Repo
is the "origin", i.e. the default upstream repo for dev1
and dev2
, meaning both those repos wll have been created by cloning Bare-main-Repo
.
(Nothing prevents you to add other upstream repos: dev1 could add dev2 as another upstream repo, allowing to pull directly from dev2 for instance)