Update name to gator_serve from gator-serve