How much to shave off the cylinder head.

We went with .100 on a stock 1967 225 head shave. Block was checked with a straight edge and was good.
No problem with push rods plenty of adjustment. Most we ever did was .125 off the head.
In the old days we did triple .100. Block Head and Bore.When doing a total rebuild.