From: Alex Budovski <abudovski@gmail.com>
Date: Thu, 20 Jan 2011 02:35:07 GMT
Subject: Re: Noob question regarding git push
Message-ID: <AANLkTimv8N7K2yvbgBnTzmTzaGtqf2tiS-Kk2-5Y__1M@mail.gmail.com>
In-Reply-To: <AANLkTins5KrYmy6gBJXphEMhcgCEDYcbEGpb7nyU-P=m@mail.gmail.com>

On Thu, Jan 20, 2011 at 10:10 AM, Harry Johnson <hjohnson@viasic.com> wrote:
> Thanks! It was in that faq. So it sounds like I just need to do a git
> reset --hard before doing the builds... This shouldn't be a problem
> since that working tree should never have any local changes. It is
> just a snapshot to be used for builds. However, it does sound like
> maybe I should look into a bare repo and then the build repo could
> just be a clone of that.

The central repo itself should be bare.