On Mar 6, 2018, at 03:47, db wrote:
> On 6 Mar 2018, at 02:34, Ryan Schmidt wrote:
>> On Mar 5, 2018, at 05:43, db wrote:
>>> As I said in my previous post, you can get HEAD's hash with 'git ls-remote 
>>> --heads'. And store it somewhere.
>> Who are you suggesting should run this command and when? The port 
>> maintainer? The user trying to install the port? MacPorts itself?
> MacPorts itself. I haven't tried it yet, but I suppose gh_version could be 
> set to the value returned by that command. Then the only difference from a 
> devel port that uses portgroup github would be the hardcoded date.

The portindex indexes Portfiles, not portgroups. So the port's version must be 
set in the Portfile, not anywhere else.

Reply via email to