On Mon, Apr 20, 2020 at 04:25:19PM +0200, Adam Borowski wrote: > 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. Thats often wrong, because what you get is a working redirect, so that existing clones still work.
Alex
