[arch-dev-public] Moving a package from [community] to [extra]

[Daniel Isenmann]

On Fri, 16 Oct 2009 16:54:10 -0500
Aaron Griffin <aaronmgriffin at gmail.com> wrote:

> On Fri, Oct 16, 2009 at 4:47 PM, Daniel Isenmann
> <daniel.isenmann at gmx.de> wrote:
> > On Fri, 16 Oct 2009 16:21:11 -0500
> > Aaron Griffin <aaronmgriffin at gmail.com> wrote:
> >
> >> On Fri, Oct 16, 2009 at 4:14 PM, Daniel Isenmann
> >> <daniel.isenmann at gmx.de> wrote:
> >> > Hi,
> >> >
> >> > at the moment I'm sitting and try to finalize my "Completing mono
> >> > support"-"Task". I would like to move monodevelop (which is
> >> > orphaned) and some of its bindings to [extra]. Is it possible to
> >> > move a package from [community] to [extra], or have I do it
> >> > manually?
> >>
> >> Right now nothing is in place to do that. You will need to do it
> >> manually. Additionally, I know of no way to move a file from one
> >> svn repo to another and retain history.
> >
> > Alright, then I will do it manually. Have I the rights to delete a
> > package in community? Never tested before.
> 
> Yeah you should be able to just copy trunk (delete the .svn dir) to
> the main svn repo, "svn add" it, and "svn rm" it from community.

Ok, I will try it. Thanks.