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.