On Fri, Jun 03, 2016 at 01:05:06PM +0200, Michael Niedermayer wrote: > On Fri, Jun 03, 2016 at 01:00:46PM +0200, Nicolas George wrote: > > Le sextidi 16 prairial, an CCXXIV, Michael Niedermayer a écrit : > > > ok > > > thanks > > > > Thanks. I pushed to g...@source.ffmpeg.org:ffmpeg, it appears on the > > yes, that is and always was the push url > >
> > mailing-list but not on https://git.ffmpeg.org/ffmpeg.git, and I have no 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 [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB The bravest are surely those who have the clearest vision of what is before them, glory and danger alike, and yet notwithstanding go out to meet it. -- Thucydides
signature.asc
Description: Digital signature
_______________________________________________ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
