[129459] trunk/dports/multimedia/mpv

[Ryan Schmidt]

On Dec 13, 2014, at 9:49 PM, Mihai Moldovan wrote:

> This checks if github.master_sites is included somewhere in master_sites. If
> you'd prefer github.master_sites to be the first entry in master_sites, the
> check should trivially be changed to == 0. But I think checking that
> github.master_sites is included should be good enough.
> 
> Committing the change, if you don't have any objections.

If it works for your use case in mpv, and still works for other ports using the github portgroup, go ahead.