Junio C Hamano venit, vidit, dixit 07.06.2009 06:19: > Michael J Gruber <git@xxxxxxxxxxxxxxxxxxxx> writes: > >> This introduces a config setting remote.$remotename.pushurl which is >> used for pushes only. If absent remote.$remotename.url is used for >> pushes and fetches as before. >> This is useful, for example, in order to to do passwordless fetches >> (remote update) over git: but pushes over ssh. >> >> Signed-off-by: Michael J Gruber <git@xxxxxxxxxxxxxxxxxxxx> >> --- >> This is a working prototype, but I'd like to rfc about the approach before >> coding further. > > As I am guilty for suggesting this, obviously I do not have a problem with > what the patch wants to achieve. > > And the change looks simple, straightforward and correct. > >> Things that would go in a full series: >> * documentation (man pages, maybe manual) >> * tests > > Surely. > >> * teach builtin-remote about pushurl > > Hmm,... my impression was that "git remote" does not have much support > for the push side. What kind of things are you going to teach? First I was thinking about rm and mv, but that's being taken care of automatically by removing/renaming a config section. This leaves "remote show $remote" which should list the pushurls along with the urls. "remote -v" should probably list urls but not pushurls. I don't plan on adding pushurl support to "remote add", I think using git config is OK for this setting. Michael -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html