関連ワード:  github prune history    git prune history    github remove history    github remove history from repository    github remove history of file    github remove history commit    git prune commit history    git prune local history    git prune old history    git prune all history