Dammit, I completely forgot the phpapi change between the beta and the RC :(. Sorry about that.
The good should be: 20180731 The bad should be: 20180606 and 20170718 e.g. those binNMUs were wasted time :( and they will need to be triggered again. Sorry for that. Thanks, Ondrej -- Ondřej Surý <ond...@sury.org> On Sun, Oct 7, 2018, at 12:08, Emilio Pozuelo Monfort wrote: > On 02/10/2018 21:00, Emilio Pozuelo Monfort wrote: > > Control: tags -1 confirmed > > Control: forwarded -1 > > https://release.debian.org/transitions/html/php7.3.html > > > > On 19/08/2018 08:49, Ondřej Surý wrote: > >> Package: release.debian.org > >> Severity: normal > >> User: release.debian....@packages.debian.org > >> Usertags: transition > >> > >> Hi, > >> > >> with PHP 7.3.0~beta2, I would like to start a transition from PHP 7.2 > >> to PHP 7.3, so we have the latest PHP version in Debian buster, so the > >> security support can be provided by upstream as longest as possible. > > > > Since the transition has started, let's mark it as such. > > > >> title = "php7.3"; > >> is_affected = .depends ~ "phpapi-20170718" | .depends ~ "phpapi-20180606"; > >> is_good = .depends ~ "phpapi-20180606"; > >> is_bad = .depends ~ "phpapi-20170718"; > > > > I have added & ! .depends ~ "phpapi-20180606" to is_bad, so that packages > > that > > depend on both are marked as good and not as "partial" (both good and bad). > > Once > > we have things rebuilt and 7.2 support is dropped from -defaults, we can > > change > > the tracker and rebuild things again to lose 7.2 dependencies. If things > > don't > > take long (i.e. any ftbfs or other bugs are fixed promptly) I think we can > > finish this before the transition freeze. > > Should we add phpapi-20180731 to is_good? Packages are getting that now, > see e.g.: > > https://buildd.debian.org/status/fetch.php?pkg=php-propro&arch=mipsel&ver=2.1.0%2B1.0.2-1%2Bb1&stamp=1538764097&raw=0 > > Emilio
