From: John Szakmeister <john@szakmeister.net>
Date: Tue, 04 Oct 2011 10:24:38 GMT
Subject: Re: Unable to remove a file
Message-ID: <CAEBDL5U4gU9C0De42Sgqv1ODLwQBuOdYdhfTBCMUziCZrhK9dA@mail.gmail.com>
In-Reply-To: <4E8ABC85.7090705@in.waw.pl>

2011/10/4 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>:
[snip]
>> git filter-branch --index-filter 'git rm -q --ignore-unmatch --cached
>> scripts/\\' HEAD
>> Rewrite 5ac83187fa298add60cf81fd1d54b194da7ae783 (57/57)
>> Ref 'refs/heads/master' was rewritten
>> git push
>>  ! [rejected]        master ->  master (non-fast-forward)
>> error: failed to push some refs to 'git@myserver:repository'
>>
>> Should I do anything special?
>
> git push -f

I assume you understand that you're rewriting history Robert, and that
has some consequences?  You're master branch is now divergent, since
the commit ids changed.

-John