On Mon, Apr 20, 2020 at 11:51:38AM +0200, Mattia Rizzolo wrote: > On Mon, Apr 20, 2020 at 03:13:14AM +0200, Adam Borowski wrote: > > On Sun, Apr 19, 2020 at 10:33:19PM +0200, Baptiste BEAUPLAT wrote: > > > Could someone move the following repository to the debian group? > > > > The original is still there. > > If you want a real move, you'll have to ask the salsa admins to do that > since it requires owner permissions in the source namespace and > maintainer permissions in the target namespace. Or first move it to a > place where are DD has owner permissions and then said DD can move it > again to /debian/.
With no complex permissions, issue tracking, etc, on the old repo, I doubt there's a benefit over create+push+delete, which doesn't require bothering the admins. But, in case there'll be a repo that _has_ such metadata attached, it's good to remember your advice. Thanks. Meow! -- ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ in the beginning was the boot and root floppies and they were good. ⢿⡄⠘⠷⠚⠋⠀ -- <willmore> on #linux-sunxi ⠈⠳⣄⠀⠀⠀⠀
