On Fri, 27 Apr 2012 10:06:38 +0200
Corentin Chary <corentin.chary@gmail.com> wrote:

> On Thu, Apr 26, 2012 at 8:41 PM, Michał Górny <mgorny@gentoo.org>
> wrote:
> > On Thu, 26 Apr 2012 10:21:36 +0200
> > Corentin Chary <corentin.chary@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 ?

Next step would be to find a good name :P. I suggest going the Perl way
and prepending '~' ;P.

-- 
Best regards,
Michał Górny