From: Jakub Narebski <jnareb@gmail.com>
Date: Wed, 06 Dec 2006 10:28:00 GMT
Subject: Re: git pull and merging.
Message-ID: <el65rh$tfj$3@sea.gmane.org>
In-Reply-To: <cc723f590612060205p1fd26cd7u3c7efc723b0177de@mail.gmail.com>

Aneesh Kumar wrote:

> [branch "devel"]
>         remote = origin
>         merge = devel

Does

  [branch "refs/heads/devel"]
        remote = origin
        merge = refs/remotes/origin/devel

works?
-- 
Jakub Narebski
Warsaw, Poland
ShadeHawk on #git