Select provider of libav* libraries

Mon Jun 1 14:54:26 UTC 2015

On Mon, Jun 1, 2015 at 3:49 PM, Andreas Cadhalpun
<andreas.cadhalpun at googlemail.com> wrote:
> Does someone know what would be the best way to move the repository?

Just move the directory?
Or add a new remote and push everything to it. I'd also suggest to ask
for the removal of the old one - to save disk space.

-- 
Alessio Treglia          | www.alessiotreglia.com
Debian Developer         |     alessio at debian.org
Ubuntu Core Developer    |  quadrispro at ubuntu.com
0416 0004 A827 6E40 BB98 90FB E8A4 8AE5 311D 765A