I think the oil thing is more for conventional cooking. Not really desireable for brewing I dont think.
I never did this to my pots, and no known issues.
I woud clean it with soap and water. Possibly boil a pot of water just to make sure nothing from machining is left over in the flavor… and brew beer.