USE_GITHUB and 500 Internal Server Error -- is it my fault or github is broken?

[Lev Serebryakov]

Hello, Ports.

 I'm preparing port for texane/stlink project from github. So, I've added

USE_GITHUB=     yes
GH_ACCOUNT=     texae
GH_TAGNAME=     1.0.0
GH_COMMIT=      4d8faf38

 to Makefile. And I cannot download distfile -- I got 500 Intrernal Server
 Error on https:// and Service Unavailiable for HTTP.

USE_GITHUB=     yes
GH_ACCOUNT=     texae
GH_TAGNAME=     ${GHCOMMIT}
GH_COMMIT=      4d8faf38

 works no better.

 Is it my fault or problem with github?

 I could download tar file by hands from tag's page
(https://github.com/texane/stlink/archive/1.0.0.tar.gz) but it doesn't look
as good idea.

-- 
// Black Lion AKA Lev Serebryakov <lev at FreeBSD.org>