It could be consider as "meeting code", as the Hot Tub is GFCI protected, but it's pretty dumb to be so short sighted. Your electrician may think he is doing you a good deed, but what are you going to do when you call for service because the breaker is tripping. It looks like you will be taking a day off work or having someone to be home for the service man to access the breaker.
Do yourself a favor, and tell him to change it, unless he will be paying for the serviceman’s return charge if and when it does trip. The serviceman can not access the GFCI to reset the breaker. Require him to put the GFCI outside making it accessible