On Wednesday, July 23 2014, Michal Grochmal wrote: > Sergio, > > You could try resolving it directly inside git, give a try with: > > git reset --hard 12ba11968045b5fb3da8fcbf93b5c242e9aa3c61 > > (I assume that's the commit you wanna get back to) > > and then: > > git push origin HEAD --force > > (assuming that your remote to savannah is called origin)
Thanks, Michal. As I stated in the request that opened in Savannah, I already tried that, without success. Savannah's git repositories are configured to deny non-fast-forward pushes (which is a good thing, don't get me wrong). That is why I am asking that either (a) gnu-social-mode's repository be configured to allow non-fast-forward pushes, or even that (b) the repository be recreated so that I can push the fixed tree there. > Or you, if you're the only one working on that repository, you > could try to fix it using `git revert` (see the manual for that). Yeah, I know about git-revert. But the "wrong" commit is so small/simple that it doesn't take much to revert it. See, my request is just about comestic: I want the repository to be in perfect shape, so I want to recreate the history, specially because it's a brand new repo (just a few days old) and it won't cause any hassle to anyone. Thanks for your message, -- Sergio GPG key ID: 0x65FC5E36 Please send encrypted e-mail if possible http://sergiodj.net/
