Update of sr #108056 (project administration):
Open/Closed:Open = Closed
___
Reply to this item at:
http://savannah.gnu.org/support/?108056
Follow-up Comment #7, sr #108056 (project administration):
Ok, changed that branch to master.
Your old master is in master-old, do you want it deleted?
___
Reply to this item at:
http://savannah.gnu.org/support/?108056
Follow-up Comment #4, sr #108056 (project administration):
Hmmm, same as before. Both
git push -f origin master
and
git push -f origin :master
give the same error messages.
___
Reply to this item at:
Follow-up Comment #6, sr #108056 (project administration):
I've push a new-master branch. That is the proper master.
___
Reply to this item at:
http://savannah.gnu.org/support/?108056
___
Follow-up Comment #3, sr #108056 (project administration):
Ok, tweaked something, please try again.
___
Reply to this item at:
http://savannah.gnu.org/support/?108056
___
Message sent
Update of sr #108056 (project administration):
Status:None = In Progress
Assigned to:None = mjflick
___
Follow-up Comment #1:
Done.
After
Follow-up Comment #2, sr #108056 (project administration):
It still doesn't seem to be working.
git push -f origin master
gives me
remote: error: denying non-fast-forward refs/heads/master
and
git push origin :master
gives me
remote: error: By default, deleting the current branch is
