About integrations→
Integrations are tools and services that connect with GitHub to complement and extend your workflow.
About GitHub Marketplace→
GitHub Marketplace contains tools that add functionality and improve your workflow.
GitHub extensions and integrations→
Use GitHub extensions to work seamlessly in GitHub repositories within third-party applications.