This repository has been archived on 2024-04-07. You can view files and clone it, but cannot push or open issues or pull requests.
|
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
read files
|
|
|
|
git filter-branch -f --index-filter \
|
|
"git rm --force --cached --ignore-unmatch $files" \
|
|
-- --all
|
|
|
|
rm -Rf .git/refs/original && \
|
|
git reflog expire --expire=now --all && \
|
|
git gc --aggressive && \
|
|
git prune
|