repository.destroy does not work. it just gives me undefined method warning.
Is tehre any other way? I cant remove repo manually sicne after I deleted some users it only gives me "something went wrong" on the repo page On Tuesday, 25 January 2011 12:09:18 UTC+4, Marius Mårnes Mathiesen wrote: > > On Mon, Jan 24, 2011 at 6:54 PM, hull_ship <[email protected]<javascript:>> > wrote: > > Greetings, > > > > I am trying to remove a repository (using dbconsole)that is under a > > project without deleting the parent project. > > > > I can find the repository name/id (test2/168) that I want to delete: > > > >>> repository=project.repositories.find_by_name "test2" > > => #<Repository id: 168, name: "test2", project_id: 13, user_id: 15, > > created_at: "2011-01-21 18:00:38", updated_at: "2011-01-24 14:03:03", > > parent_id: nil, ready: true, kind: 0, owner_type: "Group", owner_id: > > 4, hashed_path: "ad0/b99/79490e5caaca6db981d2a75f0a54df38e7", > > description: "aaaa", last_pushed_at: nil, wiki_permissions: 0, > > deny_force_pushing: false, notify_committers_on_new_merge_request: > > true, last_gc_at: nil, merge_requests_enabled: true, disk_usage: nil, > > push_count_since_gc: nil> > > > > > > Is there a command to remove a repository? > > Yes, there is! Once you have gotten as far as you have, the magic > command is "destroy", ie. repository.destroy > > One gotcha though: you should verify that there aren't any clones of > the repository on your server, as this would cause you to have > repositories whose parent is missing in the database. There is also an > option for removing a repository once it's ready to be deleted (ie. > there are no clones of it) in the web UI. > > Cheers, > - Marius > > -- -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] --- You received this message because you are subscribed to the Google Groups "Gitorious" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
