GitHub repository: ls1intum/theia-lite-git-proxy
Description: Proxy clone and push requests for the browser