Use more durable sequence of git commands to checkout corpi
Use more durable sequence of git commands to checkout corpi

kbrock/mutant,backus/mutant,nepalez/mutant,tjchambers/mutant,backus/mutest,backus/mutest