Just ran the server, pushing anyways