Making mass redundancies is one task that many HR leaders hope they never have to face, let alone during the greatest economic shock in living memory.