Hi, I stupidly added and tracked some large files in my package repo at the start. I have since deleted these files and would like to permanently remove them form my GitHub history. I have been able to this locally. However when I try to do ‘git push upstream RELEASE_3_10’, it asks me to fetch first. This results in the history being restored. I have tried to do ‘git push —force’, but this results in an error. Is there any way to delete the history of these files from the upstream?
Cheers, Saskia _______________________________________________ Bioc-devel@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/bioc-devel
