On Fri, Jun 03, 2016 at 03:08:51PM +0200, Nicolas George wrote: > 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?
we have our own git server since april 2011 at the end of april 2011 the following repositories existed in it most of these where from svn and some where inactive long before repo dvdnav repo mplayer-homepage repo libc repo mga_vid repo mplayer repo mplayerosx repo rtmpdump repo skins repo uha repo uuterm repo vesautils repo nut repo soc repo michael repo rtmpdump-web repo ffmpeg-web repo bow repo libswscale #old libswscale repo, do not push anything in this repo ffmpeg.svn #old ffmpeg repo, do not push anything in this its easy to add repositories and give admin access if anyone needs a repo for FOSS purposes and is unhappy with offers from github and others ... [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB Asymptotically faster algorithms should always be preferred if you have asymptotical amounts of data
signature.asc
Description: Digital signature
_______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
