internal/tools: links for pygithub