mrconfig: add PCGen repository