Theia is not shipped with the embedded Git executables anymore

This means, if you want to use the Git extensions, you will need to have git on the PATH.

PR: https://github.com/theia-ide/theia/pull/4210

[original thread by Akos Kitta]

[Alex Tugarev]

@kittaakos, it looks like browser test is broken on travis.

[Alex Tugarev]

[chrome #0-4] 1) terminal UI should open a new terminal and then close it:
[chrome #0-4] unknown error: Element <div class="p-MenuBar-itemLabel">...</div> is not clickable at point (357, 14). Other element would receive the click: <p id="notification-text-3-...-|">Could not find Git on the PATH.</p>
[chrome #0-4] Error: An unknown server-side error occurred while processing the command.
[chrome #0-4]     at elementIdClick("0.8836769150030732-9") - click.js:20:22

The builds were green for the PR. Please open an issue if you want, I have no time to work on that.

[Alex Tugarev]

ok

[Alex Tugarev]