On Sun, Dec 2, 2018 at 8:39 PM Jonathan Nieder <jrnie...@gmail.com> wrote: > No, I didn't. I wonder if there was a mail delivery outage from the BTS > or something.
Are you subscribed to https://tracker.debian.org/pkg/git ? The BTS itself only directly emails the listed Maintainer and not Uploaders. Anyone else can use Tracker to subscribe to bug mail. > Is there a way to distinguish between Ubuntu main builds and builds of > the PPA https://launchpad.net/~git-core/+archive/ubuntu/ppa? I am unaware of an official method for a package to identify that it's being built in a PPA. If it's really important, maybe you could grep for the ppa in the /etc/apt/ directory. Thanks, Jeremy Bicha