Proposal: accept pull requests on GitHub
Richard Eisenberg
eir at cis.upenn.edu
Wed Sep 9 12:17:24 UTC 2015
> > (I'm tempted naively to ask: is there an automated way to go from a GitHub PR to a Phab ticket? Then we could convert the former (if someone wants to submit that way) into the latter.)
Or: is there a way contributors can create a Phab differential off a GitHub branch? This bypasses the GitHub PR but still provides a similar ease-of-use. This one seems rather easy to imagine.
Richard
More information about the ghc-devs
mailing list