A large binary (2Gb) file was accidentally committed, then some months later it was deleted. I therefore have two commits that mention this huge file, which makes the whole .git directory huge. I want to delete just this file from the first commit, then also from the later commit, so that the whole git repository becomes a lot smaller.