[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[savannah-help-public] [sr #108954] deleting pub/gnu/guile-gnome/platfor
From: |
Assaf Gordon |
Subject: |
[savannah-help-public] [sr #108954] deleting pub/gnu/guile-gnome/platform/ |
Date: |
Thu, 14 Jan 2016 19:48:54 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Ubuntu Chromium/47.0.2526.106 Chrome/47.0.2526.106 Safari/537.36 |
Update of sr #108954 (project administration):
Status: None => Done
Assigned to: None => agn
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
Hello David,
ftp.gnu.org is not managed by Savannah admins,
and therefor there is nothing that we can do directly on it.
However the 'gnupload' script has a '--delete' option to delete a file, see:
http://git.savannah.gnu.org/cgit/gnulib.git/tree/build-aux/gnupload
I would try to use that script to delete the files.
As such, I'm closing this ticket.
regards,
- assaf
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?108954>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/