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.

On Fri, 16 Oct 2009 16:54:10 -0500 Aaron Griffin wrote:

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.

Ok, I will try it. Thanks.

On Sat, 17 Oct 2009 00:03:07 +0200 Thomas Bächler wrote:

Daniel Isenmann schrieb:

...

Alright, then I will do it manually. Have I the rights to delete a package in community? Never tested before.

You'll need an account on sigurd and must have the right groups, obviously.

Thomas is right here, I can't delete it. Can someone please delete "monodevelop" from community? Thanks.