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.