06:46:37 <ErCiccione> .merge+ 1535
06:46:37 <xmr-pr> Added
10:42:19 <ErCiccione> 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.
10:43:43 <ErCiccione> This is the key github uses, if you want to import it locally (even if it's kinda useless): https://github.com/web-flow.gpg
10:43:49 <ErCiccione>  * This is the key github uses, in case you want to import it locally (even if it's kinda useless): https://github.com/web-flow.gpg
14:34:32 <fluffypony> interesting, tks ErCiccione