From: Santi Béjar Date: Tue, 23 Mar 2010 14:22:49 GMT Subject: Re: How to ignore changes on remote Message-ID: In-Reply-To: <26ae428a1003230713y12f0c74dh3b22c0d97565159b@mail.gmail.com> On Tue, Mar 23, 2010 at 3:13 PM, Howard Miller wrote: >> >> git push origin +local_branch:remote_branch >> > > Thanks! > > Tell me more about that '+'. I've never heard of it before. Can't see > anything in the docs (although I'm probably not looking in the right > place) man git-push and search for '+', there is even an example like the command above. HTH, Santi