[pquki4]

Not going to be useful if they consistently used a VPN to access GitHub. But people make mistakes sometimes.

[earslap]

history shows that it is generally very hard to not slip up here and there, especially if you are not expecting to be a huge target.