fix unmerging ;)
[divverent/div0-gittools.git] / git-filter-repository
1 #!/bin/sh
2
3 # expects a filter file of syntax like filter-index
4
5 export filterfile="$1"
6 git filter-branch --remap-to-ancestor --prune-empty --index-filter '
7         xargs -0r git filter-index < "$filterfile"
8 ' -- --all
9 git for-each-ref --format="%(refname)" refs/original/ | xargs -n 1 -r git update-ref -d || true
10 git reflog expire --expire=now --all
11 git gc --prune=now --aggressive