If you click on the github link, it redirects to an archived repo under that username.