His last commit was actually in 2012; the repository you looked at had an issue opened more recently (or a star, not sure how GitHub’s “last updated” feature wo

His last commit was actually in 2012; the repository you looked at had an issue opened more recently (or a star, not sure how GitHub’s “last updated” feature works). Hoping he responds to my email.