Use the PR repo

Fixes #192 
Thanks, fix pushed