[Savannah-help-public] [sr #107857] Unable to "git push --force" a HEAD change to my repository.

[Michael J. Flickinger]

Update of sr #107857 (project administration):

                  Status:               Need Info => Done                   
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #3:

done

    _______________________________________________________

Reply to this item at:

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

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