On Thu, Apr 26, 2012 at 8:41 PM, Michał Górny <mgo...@gentoo.org> wrote: > On Thu, 26 Apr 2012 10:21:36 +0200 > Corentin Chary <corentin.ch...@gmail.com> wrote: > >> Second solution: >> github http://cloud.github.com/downloads >> github-bad-uris -http://github.com/downloads/ > -https://github.com/downloads/ >> >> The good thing with the first one is that it would allow repoman to >> outputs something like "you should use 'mirror://github'". > > Well, we could decide on something common and special like: > > github:bad-uris http://..... > > And then let repoman suggest using mirror with ':bad-uris' stripped.
Works for me. What would be the next step to push this ? -- Corentin Chary http://xf.iksaif.net
