Noted problem with theia in Git