These officers were given the codename of " Bigot " , derived from the words " To Gib " ( To Gibraltar ) that was stamped on the papers of officers who took part in the North African invasion in 1942 .