support refspec, or syntactic sugar for specifying a github pull request

[adriaanm]

in pr validation, we'd like to be able to specify a pullrequest, either as a ref (refs/pull/NNN/head) or using a nicer syntax specific for github, e.g., by parsing github urls to commits or pullrequests, as done by the hub CLI for github

[adriaanm]

(to clarify, the default refspec passed to git fetch does not expose the pullrequest refs on github)

[cunei]

@adriaanm: Pull request #78 fully supports Github pull request refs.

[adriaanm]

Cool! Could you give an example of how to use it to fetch a PR on scala/scala, say?

[cunei]

The form is just:

{
  name: scala
  system: scala
  uri: "git://github.com/scala/scala.git#pull/3122/head"
}

This is only available in master, however. I will soon set up nightly builds, so that you can have access to the most recent dbuild snapshots.

[adriaanm]

Cool! BTW, we've had great results with Travis CI. Ping me -- I'd be happy to share our experience.
Essentially, something like https://github.com/scala/scala-xml/blob/master/.travis.yml. We'll have to get a license to validate private repos though. I personally think it's worth it.