Adding a list of Debian developer email addresses

To regenerate this list, first do:

    mkdir /tmp/playground
    cd /tmp/playground
    rsync -az --progress keyring.debian.org::keyrings/keyrings/ .

Then do:

    #!/bin/bash
    GPGHOME=$(mktemp -d)
    cp debian-keyring.gpg $GPGHOME/pubring.gpg
    gpg --with-colons --homedir="$GPGHOME" --list-keys | \
       cut -d:  -f 10 | grep '@' | sed -r 's/.*<(.*)>/\1/' | grep . > $GPGHOME/emails.all
    sort $GPGHOME/emails.all | uniq