Check this article: http://toolmantim.com/article/2007/12/5/setting_up_a_new_remote_git_repository.
Basically you need to create a *public* repository on the production server: mkdir /path/project.git cd /path/project.git git --bare init Then you can add it as a remote on the dev box and push all changes from dev box into public repo. Then other devs can clone this public repo and push their changes there as well. On 17 Paź, 14:51, VP <[EMAIL PROTECTED]> wrote: > Any ideas why is that? > > On Oct 16, 4:54 pm, VP <[EMAIL PROTECTED]> wrote: > > > > > Doesn't work. > > > What I did: > > > prod server > > ------------------------------------------------------------------------- > > mkdir /path/project2 > > cd /path/project2 > > git init > > > Initialized empty Git repository in .git/ > > > dev box > > ------------------------------------------------------------------------- > > git push ssh://[EMAIL PROTECTED]/path/project2 master > > > Counting objects: 13, done. > > Compressing objects: 100% (11/11), done. > > Writing objects: 100% (13/13), 3.77 KiB, done. > > Total 13 (delta 1), reused 0 (delta 0) > > To ssh://[EMAIL PROTECTED]/path/project2 > > * [new branch] master -> master > > > prod server > > --------------------------------------------------------------------------- > > cd /path/project2 > > ls -l > > > Nothing is there instead of .git > > > On Oct 16, 4:40 pm, "GitHub Support" <[EMAIL PROTECTED]> wrote: > > > > You shouldn't push into a repo that has a working copy. Instead make a > > > bare > > > repo in another path on your server, push to it from the developers' > > > repos, > > > and pull from it into your deploy repo when you wish to deploy. > > > --tek > > > > On Thu, Oct 16, 2008 at 2:36 PM, VP <[EMAIL PROTECTED]> wrote: > > > > > Hi all, > > > > > I have several dev boxes and one prod server. 3 developers are working > > > > on a project. > > > > How to get a copy from a production server on their local boxes and > > > > start working locally and then transfer their code to production back > > > > properly? > > > > > Dev box winXP > > > > Prod box solaris/linux > > > > Everywhere Git was installed > > > > > What are we doing: > > > > > prod server > > > > --------------------------------------------------------------------------- > > > > cd /path/project > > > > git init > > > > git add . > > > > git commit -m "initial commit" > > > > > dev box > > > > --------------------------------------------------------------------------- > > > > cd /path/project > > > > git clone ssh://[EMAIL PROTECTED]/path/project > > > > > Everything works fine. Developers get their own copy. > > > > > After making some changes on dev boxes > > > > > git add file1 file2 file3 > > > > git commit -m 'Message' > > > > git push > > > > > Nothing happens on a production server. Why? > > > > > Any comments will be appreciated. Thanks. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "GitHub" group. To post to this group, send email to github@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/github?hl=en -~----------~----~----~----~------~----~------~--~---
