I've heard of it before, the same is available in their API too: https://developer.github.com/v3/users/keys/#list-public-keys-for-a-user https://developer.gith

I've heard of it before, the same is available in their API too: https://developer.github.com/v3/users/keys/#list-public-keys-for-a-user https://developer.github.com/v3/users/keys/#list-public-keys...