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

[Bob Proulx]

Follow-up Comment #1, sr #108531 (project administration):

Hi Sebastien,

Generally software curators don't like to remove published software.  If you
were abducted by aliens and someone else wanted to research previous versions
then the previously published versions should be available.

Here is a suggestion.  Simply remove all of the files from your repository. 
Commit a README file as the only file remaining in the project.  In that
README file direct anyone reading it to your new source location.  Then all
actions are just normal all around.

git rm ./*
$EDITOR README
...Say that the source has moved and direct the reader there...
git add README
git commit
git push ...to vcs.sv.gnu.org...

That would maintain the archive history nicely and direct anyone accessing it
to your current repository.



    _______________________________________________________

Reply to this item at:

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

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/