Re: push instead of

From: Jay Soffian <jaysoffian@gmail.com>
Date: Apr 30, 2010, 23:59 UTC
Message-ID: <m2g76718491004301659n7665d221se131a7a194530e32@mail.gmail.com>
In-Reply-To: <z2gb42431c81004300256ke7248f40y7bce060d52cfa943@mail.gmail.com>

On Fri, Apr 30, 2010 at 5:56 AM, Mahesh Vaidya <forvaidya@gmail.com> wrote:

Show 11 quoted lines

> I am facing problem at pushInsteadIOf. I would like pull from
> "pullhost" and push to "pushhost" as my pullhost as pre-receive
> trigger which not accepting pushes.
>
> However when I do git push it still hits pull host. I have following config.
>
> [remote "origin"]
>        fetch = +refs/heads/*:refs/remotes/origin/*
>        url = gitosis@pull_host:repos.git
> [url "gitosis@localhost"]
>        pushInsteadOf = gitosis@PUSH_host:repos.git

I think you have your arguments backwards if I understand your mail correctly. Try:

[url "gitosis@PUSH_host:repos.git"]
       pushInsteadOf = gitosis@pull_host:repos.git

Now when pushing, _instead_ of pushing to "gitosis@pull_host:repos.git" (which is the origin url), you will push to "gitosis@PUSH_host:repos.git".

I'm not sure what gitosis@localhost was supposed to represent in your email.

j.