push instead of

From: Mahesh Vaidya <forvaidya@gmail.com>
Date: Apr 30, 2010, 09:56 UTC
Message-ID: <z2gb42431c81004300256ke7248f40y7bce060d52cfa943@mail.gmail.com>

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

-- 
Thank you and best regards.
Mahesh Vaidya  / 9740500144
http://www.twitter.com/forvaidya