I would like to find out how much total hard drive space a specific file takes up in a local git repository (working tree and commit history combined). In other words I'd like to find out how much smaller the repository would get if I removed a specific file from the git history.
How could I do that?