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

[Daniel Isenmann]

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.