Advice on the internet is all over but with a general grouping of consensus around either late winter, or late spring after the first flush of growth.

The pine in question is a Pinus bungeana but I will eventually have other rare pines to prune like Pinus hwangshanensis.