GitHub repository: Devpodio/theia-github-extension
Primary language: TypeScript
Created: 2018-11-24T14:18:46Z
Description: A Theia-ide extension that extends git extension for other git functions