[savannah-help-public] [sr #108531] Delete git repositories

[Sebastien Helleu]

URL:
  <http://savannah.gnu.org/support/?108531>

                 Summary: Delete git repositories
                 Project: Savannah Administration
            Submitted by: flashcode
            Submitted on: ven. 14 mars 2014 10:15:08 CET
                Category: Developer Source Code Repositories
                Priority: 5 - Normal
                Severity: 3 - Normal
                  Status: None
             Assigned to: None
        Originator Email: 
        Operating System: GNU/Linux
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Hi,

I want to remove 3 git repositories, but can't find any way in the admin tools
in the project to do it.
I already removed git in tools used, but looks like the repositories still
exist.
If this requires some manual actions, then please delete these git
repositories (they have been moved to github):

weechat.git
weechat/scripts.git
qweechat.git

Note: I want to keep everything else in weechat/qweechat projects (trackers,
mailing lists, ...), so only git repositories must be deleted.

Thanks.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?108531>

_______________________________________________
  Message posté via/par Savannah
  http://savannah.gnu.org/