[Bioc-devel] Question regarding pruning release of large files

[Saskia Freytag]

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