GitHub: how to remove a file from git history (especially that of the GitHub repository)? -


i have github repository contains big files want permanently remove history. have cloned

github has nice page can used remove such big files (https://help.github.com/articles/remove-sensitive-data). so, cloned github repository, followed instructions page, , sure enough size of local repository smaller.

so, there, thought next force push github repository using:

git push --force --all 

i checked sha-1 values of github repository against of local clone , match. there, thought clone 'new' github repository , check size, thinking same of original clone, but... it's!

after investigation, (closed) pull requests in github repository reference of big files deleted. so, files still around. (for know, there may other things in github still refer some/all of big files.)

so, what need github repository small local repository? (assuming can @ done!)

i mean, whole idea wanting 'clean up' github repository people want/need clone end small clone while right it's still relatively big.

fwiw, create new github repository, push 'clean' repository indeed result in new 'small' (github) repository, but... won't have issues, comments, pull requests, forks, etc. of current github repository, hence it's not option me. if anything, happy lose pull requests (and, possibly, else refers some/all of big files), question whether can done?...

fwiw #2, aware of python script transfer issues 1 github repository (https://github.com/mkorenkov/tools/blob/master/gh-issues-import/gh-issues-import.py), didn't work me (some issues missing, etc.).

it can hard clean git repository because when delete files git still stores them. there better ways may want make new repo scratch. don't bother including files never change videos or pictures , don't include binary files. remember taking files out of git repo doesn't delete data.


Comments

Popular posts from this blog

Perl - how to grep a block of text from a file -

delphi - How to remove all the grips on a coolbar if I have several coolbands? -

javascript - Animating array of divs; only the final element is modified -