github/github-services — pull request #402 by jeffweiss (2012-09-19 18:23:05+00:00)
Title: re-added pull.html_url to pull_request_helper

This fixes what I broke in github/github-services#399.
Sorry.