pull requests: use org_ref with correct symbolic name instead of fake one

So far this is only cosmetic, but it might make a difference for further
processing of a PR.