Re: Filtering of git repository