(re-populating cc list) Hi Matthias, Matthias Fechner wrote: > git told me: > Ref 'refs/heads/master' was rewritten > Ref 'refs/remotes/origin/master' was rewritten > WARNING: Ref 'refs/remotes/origin/master' is unchanged > > 3. I cloned the repository with: > git clone --no-hardlinks repo-orig.git repo-filtered.git > > 4. After this I verified in the repo-filtered.git that the file was > really completely removed, but it was not the case. The section "CHECKLIST FOR SHRINKING A REPOSITORY" from the git-filter-branch(1) manual page has some hints. In particular, "git clone --no-hardlinks" still _copies_ all objects --- you probably would want "git clone file://$(pwd)/repo-orig" to make sure the ordinary transfer negotiation kicks in. It's very important that the documentation not be misleading, so if you can point to places where the wording can be less confusing, that would be very welcome. Thanks and hope that helps, Jonathan -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html