.merge+ 1535

Added

I just noticed that when the UI is used to merge pull requests, github doesn't use the gpg key of the maintainer. Instead they use their own key `4AEE18F83AFDEB23`. I was freaking out trying ot understand why the commits weren't signed by binaryfate or luigi's keys.

This is the key github uses, if you want to import it locally (even if it's kinda useless): github.com/web-flow.gpg

* This is the key github uses, in case you want to import it locally (even if it's kinda useless): github.com/web-flow.gpg

interesting, tks ErCiccione