The following is the GNU All-permissive License as recommended in https://www.gnu.org/licenses/license-recommendations.en.html

Copying and distribution of this file, with or without modification, are permitted in any medium without royalty provided the copyright notice and this notice are preserved. This file is offered as-is, without any warranty.

Contributions are welcome. See https://savannah.gnu.org/maintenance/fsf/.

How to delete an old Savannah project page

Email response from Bob Proulx:

Honestly I have no idea. The Policy as I was instructed was that we curate and archive and don't ever delete free software. However we have deleted things at times. Things that were duplicated, illegal, dox, spam, abusive, and so forth. So if it needs to be done then of course we will delete it.

As to Policy I looked and find this. https://savannah.nongnu.org/maintenance/RemovingProject/ https://savannah.nongnu.org/maintenance/HowDoIResetMyProject/

You can see where my instruction has come from on this.

But if it is an empty project then I don't see any harm in removing it. But you asked how to remove it. I have no idea. Never done it before.

That project REDACTED is not public. It isn't possible to see it unless one is logged in as Superuser in the web UI. As such it just exists as a couple of database entries. It has an empty home page. An empty release area. It's really just some lint.

Is it really important to erase the lint? (It's okay to say yes. I am just asking because it seems pretty trivial stuff not important enough to want to stomp out.)

Bob