[racket-dev] raco pkg and github

Hi all,

One thing that a few people using `raco pkg` (including myself) have
found is that when you upload a package to pkg.racket-lang.org that's
hosted on github, you can easily get checksum errors.

The checksum mismatch happens when the github HEAD has been updated, but
the checksum on the PNS is out of date. The behavior that I expected was
that `raco pkg` would just download the commit matching the PNS checksum
from github and use that.

Is there any design reason to not do that instead?

Attached is a hackish patch that just demonstrates that this is do-able.
As an example, you can try `raco pkg install sweet-exp`, which will
install commit fbd09b4be38b rather than the current github HEAD.

Cheers,
Asumu