関連ワード:  git prune history    github prune history    git remove history    git remove history of file    git remove history from branch    git remove history before commit    git remove history of deleted files    git remove history to save space    git remove history before date    git remove history commit