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.