Le sextidi 16 prairial, an CCXXIV, Michael Niedermayer a écrit : > Do you know how to change the push URL for one repository in gitolite? > I know how to change it for all repositories but only ffmpeg uses the > videolan server for git push, all other repositories we have > use our own server. > It should be possible with gitweb.url but its syntax seems undocumented > and no example i could find uses push != fetch urls > my attempts to guess syntax led to either it being parsed as one url > or gitolite refusing the string with fatal error
Thanks, but I always use a different remote for pushing anyways. I was just a bit confused: when did we acquire our own git server, and is there a file summarizing what repository is authoritative? Regards, -- Nicolas George
signature.asc
Description: Digital signature
_______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel