ports repository exporting to github?

[Sergey V. Dyatko]

On Tue, 23 Apr 2013 10:49:00 +0900
Koichiro IWAO <meta at vmeta.jp> wrote:

> official mirrors for ports repository on github hasn't been updated
> for a few days.
> Does FreeBSD project quit to provide mirrors on github? or suspended 
> temporarily?
> 

possible I missed something, but.. Is a mirror on github was
_official_ ?

-- 
wbr, tiger