His last activity on github was 5 hours ago...