help needed with figuring out an odd github source URL

[Perry E. Metzger]

Coq has moved to github for releases, and the form of the release
url I need to produce is:

   https://github.com/coq/coq/archive/V8.7.1.tar.gz

What "github.setup" magic do I need for this?

If I do

   github.setup        coq coq 8.7.1

it tries to get https://github.com/coq/coq/tarball/8.7.1/coq-8.7.1.tar.gz
which isn't what I need.

(And I wish I understood the github portgroup stuff better. :( )

Perry
-- 
Perry E. Metzger		perry at piermont.com