Ah then it is a good plan to continue with liming in the hole. Same result whether digging or not digging.
My advice on lime applies in either case but I did not realise you have clubroot in the soil, a problem which I have not actually experienced here.