No, but he's apparently working for github now!