On Mon, Jun 1, 2015 at 3:49 PM, Andreas Cadhalpun <[email protected]> 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 | [email protected] Ubuntu Core Developer | [email protected] 0416 0004 A827 6E40 BB98 90FB E8A4 8AE5 311D 765A _______________________________________________ pkg-multimedia-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-multimedia-maintainers
