Use the original GitHubinator now that I got my PR merged :D