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

On Fri, Oct 16, 2009 at 4:47 PM, Daniel Isenmann wrote:

On Fri, 16 Oct 2009 16:21:11 -0500 Aaron Griffin wrote:

...

On Fri, Oct 16, 2009 at 4:14 PM, Daniel Isenmann 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.