La extensión Dev Home de GitHub proporciona integración de GitHub en la experiencia de Dev Home. Esta extensión ofrece recomendaciones de repositorio para la herramienta de configuración de máquinas de Dev Home, así como widgets de GitHub para el panel. Se debe instalar Dev Home para poder usar esta extensión.
Este es un proyecto de código abierto donde alentamos la participación de la comunidad. Para participar, visite https://github.com/microsoft/devhomegithubextension
