[ACCEPTED]-how to stop pushing deleted files to remote repo?-github
From those commands it looks like the video 6 file is still in the commit history.
Assuming 5 you have made no other commits try the following. If 4 you have just tweak them a bit.
Try reverting 3 to the previous commit
git reset --soft HEAD~1
then do git status 2 and see if you see the file
if you do. then 1 remove it and recommit with
git commit -c ORIG_HEAD
If the history is larger than just one commit, and 9 the mp4 large file has been versioned in 8 older commits, you can consider cleaning 7 up the history of your repo with:
git filter-branch(as in this answer),or with BFG.
bfg --strip-blobs-bigger-than 1M my-repo.git
Follow 6 that cleanup with a git gc --aggressive --prune=now (as explained here)
To "roll 5 back", simply try those operations 4 on a local clone of your current local repo 3 (so a second local repo, clone of the first). If 2 the end result isn't good, you can resume 1 in the first (untouched) repo.
More Related questions
We use cookies to improve the performance of the site. By staying on our site, you agree to the terms of use of cookies.