From: Zbigniew Jędrzejewski-Szmek Date: Tue, 04 Oct 2011 07:57:57 GMT Subject: Re: Unable to remove a file Message-ID: <4E8ABC85.7090705@in.waw.pl> In-Reply-To: On 10/03/2011 10:57 PM, robert mena wrote: > Thanks. > > It accepted the command but rejected my push. > > 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 Zbyszek > > On Mon, Oct 3, 2011 at 12:04 PM, Andreas Schwab wrote: >> robert mena writes: >> >>> I found the command filter but it is not working. >>> >>> git filter-branch --index-filter 'git rm --cached scripts/\\' HEAD >> >> $ git filter-branch --index-filter 'git rm -q --ignore-unmatch --cached scripts/\\' HEAD >> >> Andreas. >> >> -- >> Andreas Schwab, schwab@linux-m68k.org >> GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 >> "And now for something completely different." >> > -- > To unsubscribe from this list: send the line "unsubscribe git" in > the body of a message to majordomo@vger.kernel.org > More majordomo info at http://vger.kernel.org/majordomo-info.html >