Checked whether repo exists.