K 10
svn:author
V 5
adamw
K 8
svn:date
V 27
2015-04-19T19:14:06.288539Z
K 7
svn:log
V 89
Use the new USE_GITHUB.

And, reassign to ports@. I don't want to maintain this anymore.

END