I’d only add one thing – one of the best ways to mix the compost pile in my experience was using a pitchfork rather than a shovel, because the fork does not just mix it, but additionally breaks it into pieces, thus making the process faster and the whole thing more homogeneous.