v3.1.9
ID domain names now end with `.pci'.
Release scripts: Skip kernel.org before it comes back up
Release scripts: sign the tarball using GPG
Release scripts: added a script for signed tagging of releases