Hmm, according to https://github.com/oerdnj/deb.sury.org/issues/613 this was already done?

Mentioned in SAL (#wikimedia-releng) [2018-01-15T11:23:01Z] <hashar> Mirroring git://anonscm.debian.org/pkg-php/php-ast.git to operations/debs/pkg-php/php-ast.git | T174338

Change 404280 had a related patch set uploaded (by Hashar; owner: Hashar):
[integration/config@master] debian-glue for operations/debs/pkg-php/php-ast

https://gerrit.wikimedia.org/r/404280

@hashar can we bump this to 0.1.6 please? so that we can also use the latest version of phan.
Basically the latest versions of phan will always use the latest versions of ast.

The Debian git repository git://anonscm.debian.org/pkg-php/php-ast.git has 1.5 so I am going to try rebuilding that one.

I filled a bug to Debian to get 0.1.6 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=887351

;D

cp: cannot stat 'README.md': No such file or directory
dh_installdocs: cp --reflink=auto -a README.md debian/php-ast/usr/share/doc/php-ast returned exit code 1
/usr/share/dh-php/pkg-pecl.mk:45: recipe for target 'binary' failed

Change 404280 merged by jenkins-bot:
[integration/config@master] debian-glue for operations/debs/pkg-php/php-ast

https://gerrit.wikimedia.org/r/404280

Change 404284 had a related patch set uploaded (by Hashar; owner: Hashar):
[operations/debs/pkg-php/php-ast@master] Rebuild for stretch-wikimedia

https://gerrit.wikimedia.org/r/404284

I have forked the repo to Gerrit operations/debs/pkg-php/php-ast.

Rebuild it via https://gerrit.wikimedia.org/r/#/c/404284/ and there is a .deb available at https://integration.wikimedia.org/ci/job/debian-glue/1039/ which we would to test out I guess.

Change 404284 merged by jenkins-bot:
[operations/debs/pkg-php/php-ast@master] Rebuild for stretch-wikimedia

https://gerrit.wikimedia.org/r/404284

I was holding the .deb package generation because CI failed on lintian. The Jenkins job ran the lintian version from Jessie instead of the lintian version from the target distribution (Stretch). That is solved now so I have build the package from upstream targetting stretch-wikimedia:

https://people.wikimedia.org/~hashar/debs/php-ast_0.1.6-1.1/

I have not tested the package. It is probably easy to do via the Phan container and then doing something like:

wget https://people.wikimedia.org/~hashar/debs/php-ast_0.1.6-1.1/php-ast_0.1.6-1.1_amd64.deb
dpkg -i php-ast_0.1.6-1.1_amd64.deb

Then I guess we can get it uploaded to apt.wikimedia.org stretch-wikimedia. I am not sure under which component though.

I emailed the Debian maintainer of php-ast about doing an official stretch backport of php-ast, as I think that will be easier to maintain in the long term.

@Legoktm as I just randomly remembered this issue: any answer/progress so far?

Mentioned in SAL (#wikimedia-releng) [2018-08-27T13:25:23Z] <hashar> Delete gerrit repo operations/debs/pkg-php/php-ast , was for php-ast 1.6 which is now in Debian | T174338