On Sun, Jan 4, 2009 at 7:50 AM, Sitaram Chamarty <[email protected]> wrote:
> On Sun, Jan 4, 2009 at 6:00 AM, Victor <[email protected]> wrote:
>
>> Woops. I was a bit hasty in saying it works.
>
> Whoops here too! (And yet I could have sworn it worked...)
It now appears that it won't work, and you'll just have to do "git
push origin" (though you can alias that I guess) and "git pull" if you
want them from different places.
I suspect when I tested it I tried things one step at a time, while
modifying the config at each step, and *did not go back* to retest
everything when the config was fully written. Sorry!
The documentation (git help config) says:
branch.<name>.remote
When in branch <name>, it tells git-fetch which remote to
fetch. If this option is not given,
git-fetch defaults to remote "origin".
I took this literally, to mean only fetch, not push. It appears that
this implicitly means both fetch and push, which means there's
actually *no* way to specify what I was trying to.
I hope someone with more git-smarts chips in with their opinion on this.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"GitHub" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/github?hl=en
-~----------~----~----~----~------~----~------~--~---
