#6321 Git repos for Frotz are messed up

git (58)

This repo is hosted both at Sourceforge and Github. I had a problem with a commit that I pushed that I decided to take back. I was able to sucessfully do that for Github (git reset HEAD^ --hard ; git push origin -f), but it failed for Sourceforge: (remote: error: denying non-fast-forward refs/heads/master (you should pull first)). I thought I'd be clever and log into my Sourceforge shell, delete the offending repo, and remake it. That didn't seem to do anything. Nor did deleting the directory "MIGRATED-frotz-git-bad" do anything to remove /that/ repo from the Frotz page. Could you delete both repos having to do with Frotz so I can re-push clean code and have things synced up?


  • Anonymous - 2013-12-20
    • status: unread --> pending
    • assigned_to: Chris Tsai
  • Anonymous - 2013-12-20


    You can do this yourself, however, operations like deleting and re-creating repos should be done via the web interface at Admin -> Tools, there are additional steps that takes care of that are not available via the shell service.

    Alternatively, you could alter your git config settings via the shell to allow non-fast-forward pushes (though at this point, other changes you've made via the shell may make this not a viable option anymore).

    Chris Tsai, SourceForge.net Support

  • Anonymous - 2014-01-14
    • status: pending --> self-service

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks