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?