Use the PR repo

Fixes #192