From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 18 Jan 2013 21:20:14 GMT
Subject: Re: Question re. git remote repository
Message-ID: <7v622uqjch.fsf@alter.siamese.dyndns.org>
In-Reply-To: <alpine.DEB.2.02.1301181127590.21503@nftneq.ynat.uz>

David Lang <david@lang.hm> writes:

> What I would do is to have each developer have their own local copy
> that they are working on.
>
> I would then find a machine that is going to be on all the time (which
> could be a developer's desktop), and create a master repository
> there. Note that if this is on a developers desktop, this needs to be
> a different repository ... from
> what they use to do their work.
>
> developers then do their work locally, and after a change has been
> reviewed, pull it into the master repository.

s/pull it into/push it into/; I think.