I assume it is 7005 and doesn't need special post-weld heat treatment. Machine the head tube carefully after the welding, it'll definitely distort and headset tolerances are very tight.
If he is a good TIG welder and has played with similar Al before, he'll know the sort of prep and TIG rod required to do a decent job. He needs to chase the crack all the way to solid metal, leaving a crack initiator isn't good on a head tube.