That article was posted 10 days ago, on a US public holiday. Seems likely the previous owner only recently reported an account "theft" enabled by github's own support team and name reuse policy. This is exactly why account name reuse is such a bad idea.