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