Last time I had a clutch replaced, I found the stock clutch push rod was a bit too short. So, I got a piece of threaded rod stock the same diameter, bent a loop in one end, ground that loop to the same shape as the original rod, cut off the rod at a useful length and installed it.
20 years later, it's still working.