github/gitscm-next — pull request #223 by carlosmn (2012-12-14 21:42:58+00:00)
Title: downloads: point to the right download URL

The id tag does not point to the download url, but it's just some
identifier for the feed. The link to the file is buried inside escaped
HTML. Instead of trying to read it, figure out the URL ourselves from
the pattern they use.

This closes #222.