GitHub Downloads and the github portgroup

[Joshua Root]

On 2013-3-29 03:36 , Ben Smith wrote:
> Hi Folks -
> 
> As someone who has used the github portgroup in the past, I'm wondering
> if there is an agreed upon new download area for github projects (since
> Github depreciated downloads). For instance, should we all have a folder
> under tree/master where we place the tar.gz files?  
> 
> I want to make sure I'm doing the "standard" thing to make sure everyone
> is happy with the portfiles as I start updating them.

You should be able to give the portgroup a tag, or if none exists, a
commit hash, and it will set up the port to download a tarball which is
generated on demand by github and then mirrored by us in the usual way.

- Josh