From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 07 Sep 2008 06:58:22 GMT
Subject: Re: Howto forward workdir to HEAD
Message-ID: <7vprngo31t.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <200809062332.39147.thomas@koch.ro>

Thomas Koch <thomas@koch.ro> writes:

> Now I made a local change and pushed again, but the servers workdir is
> not automatically forwarded to the pushed state. How do I forward it?

http://git.or.cz/gitwiki/GitFaq?action=show&redirect=GitFAQ#head-b96f48bc9c925074be9f95c0fce69bcece5f6e73