Ideally people can copy the 7 or so characters github shows on PRs. I think we can handle that at the controller level. That should work.