#6321 Git repos for Frotz are messed up

self-service
Chris Tsai
git (49)
https://sourceforge.net/projects/frotz/
frotz
2014-03-07
2013-12-20
David Griffith
No

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?

Discussion

  • Chris Tsai
    Chris Tsai
    2013-12-20

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

    Greetings,

    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).

    Regards,
    Chris Tsai, SourceForge.net Support

     
  • Chris Tsai
    Chris Tsai
    2014-01-14

    • status: pending --> self-service