Harvey’s departure leaves Pacific Grove’s top administrative post vacant. How the city will go about filling the role – and who will take over Harvey’s responsibilities in the meantime – is up for discussion at the City Council’s regular meeting Wednesday.