git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: push instead of

From
Tomas Carnecky <tom@dbservice.com>
Date
Apr 30, 2010, 17:24 UTC
Message-ID
<4BDB1231.9090600@dbservice.com>
In-Reply-To
<z2gb42431c81004300256ke7248f40y7bce060d52cfa943@mail.gmail.com>
On 4/30/10 11:56 AM, Mahesh Vaidya wrote:
Show 9 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
	pushurl = gitosis@PUSH_host:repos.git
tom
Previous: Mahesh VaidyaNext: Mahesh Vaidya
Message 2 of 5 in “push instead of”
  1. Mahesh VaidyaApr 30, 2010
  2. Tomas CarneckyApr 30, 2010
  3. Mahesh VaidyaApr 30, 2010
  4. Tomas CarneckyApr 30, 2010
  5. Jay SoffianApr 30, 2010

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.