We have one large file that is several GB pushed to the repository by accident and we cannot remove the file due to the read only restriction. I followed the guide you posted about reducing the repository size yet none of it worked because of the read only restriction. If you could delete the problematic file that would be wonderful, thanks in advance!