avsm/opam-sync-github-prs — pull request #5 by yallop (2014-12-18 18:04:26+00:00)
Title: Don't assume that pull author is repo owner or that repo is named "ocaml"

Fixes #4.

I don't know whether `pull.pull_head.branch_repo` can ever actually be `None`, but if it is then we fall back to the old behaviour.