repo: exists