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

[Aaron Griffin]

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.