Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-03-30 Thread Paul Gevers
tags 922809 wontfix
thanks

Hi Benjamin,

On Tue, 12 Mar 2019 20:55:31 -0400 Benjamin Barenblat
 wrote:
> > Couldn't you just fix the FTBFS by patching the original version in
> > Debian? That would make reviewing a lot easier.
> 
> Perhaps, but unfortunately, I don’t have the time to write those patches
> right now. If the new version is too much to accept into buster at this
> point, please feel free to close this as a wontfix – I think the world
> can live without aac-tactics for one release cycle.

So, that is what I end up doing. It's getting to late into the cycle to
let new packages in.

Paul



signature.asc
Description: OpenPGP digital signature


Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-03-12 Thread Benjamin Barenblat
On Saturday, March  9, 2019, at  3:17 PM EST, Paul Gevers wrote:
> [...] I took a look at the times in the bug, and it seems you uploaded
> the package *after* it got removed.
>
> Is it just me, or did you suggest a different time line? If so, why?

No, it’s not just you – I believed that I had uploaded the package
before it was autorm’d. However, I believed that based on what
qa.debian.org said. Without looking too closely, my guess is that I
uploaded after the package had been removed but before qa.debian.org’s
data had been updated.

> Couldn't you just fix the FTBFS by patching the original version in
> Debian? That would make reviewing a lot easier.

Perhaps, but unfortunately, I don’t have the time to write those patches
right now. If the new version is too much to accept into buster at this
point, please feel free to close this as a wontfix – I think the world
can live without aac-tactics for one release cycle.

Thanks for looking into this,
Benjamin



Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-03-09 Thread Paul Gevers
Control: tags -1 moreinfo

On 21-02-2019 00:20, Benjamin Barenblat wrote:
> I uploaded coq/8.9.0-1 to unstable shortly before the soft freeze
> began. Unfortunately, this caused aac-tactics to FTBFS
> (https://bugs.debian.org/919463) and be scheduled for autoremoval. I
> uploaded a new aac-tactics, fixing the build, but the autoremoval timer
> ran out before it was migrated.

For next time, if you ping the bug, the timer gets reset. Which also
happens when the upload that fixes the bug gets accepted. Because this
confused me, I took a look at the times in the bug, and it seems you
uploaded the package *after* it got removed.

Is it just me, or did you suggest a different time line? If so, why?

> aac-tactics is a leaf package, so
> allowing it to migrate is unlikely to produce instability in the new
> release. Would you consider an unblock?

Not instability, no, but you uploaded a different version of upstream,
so there can be a whole load of new bugs. Couldn't you just fix the
FTBFS by patching the original version in Debian? That would make
reviewing a lot easier.

Paul



signature.asc
Description: OpenPGP digital signature


Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-02-20 Thread Benjamin Barenblat
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: unblock

Please unblock package aac-tactics

I uploaded coq/8.9.0-1 to unstable shortly before the soft freeze
began. Unfortunately, this caused aac-tactics to FTBFS
(https://bugs.debian.org/919463) and be scheduled for autoremoval. I
uploaded a new aac-tactics, fixing the build, but the autoremoval timer
ran out before it was migrated. aac-tactics is a leaf package, so
allowing it to migrate is unlikely to produce instability in the new
release. Would you consider an unblock?

unblock aac-tactics/8.8.0+1.gbp069dc3b-1

-- System Information:
Debian Release: 9.8
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: amd64 (x86_64)

Kernel: Linux 4.19.0-0.bpo.2-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), 
LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)