"I appreciated they didn’t hit the nail on the head too hard in terms of Gendry preferring the same weapon as his father." That's not a pun. A pun is a joke exploiting the different possible meanings of a word or the fact that there are words that sound alike but have different meanings.