git · remote · prune · origin · delete