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 [email protected]
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
-~----------~----~----~----~------~----~------~--~---
