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)
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).
On 23 July 2014 18:17, Sergio Durigan Junior <sergi...@sergiodj.net> wrote:
> On Wednesday, July 23 2014, Alfred M. Szmidt wrote:
>
>> Please also rename your project, it is not part of the GNU project
>> advertising it as such is misleading.
>
> I am not advertising the project as part of the GNU project. This
> project is a major mode for GNU Social to be used on Emacs.
>
> I can put a warning on the initial page stating that the project is not
> part of the GNU project if you think is needed. But I'd rather keep the
> name as gnu-social-mode.
>
> --
> Sergio
> GPG key ID: 0x65FC5E36
> Please send encrypted e-mail if possible
> http://sergiodj.net/
>
