Open vince-fugnitto opened 4 years ago
Makes sense, I see no issue with that.
We are still using in Gitpod, hoped to switch from @theia/git
after https://github.com/eclipse-theia/theia/pull/6921.
But it should be alright to move Theia git extension support to own repo and test this repo against built-in extensions. cc @svenefftinge
@vince-fugnitto Could you add it to discuss at next dev meeting?
It depends on https://github.com/eclipse-theia/theia/issues/7152
Description
Now that we moved the
git-history
view into it's own extension #6381, can we update the examples present in the repo to use bothgit
andgit-ui
builtins (while removing@theia/git
)?Moving towards the builtin support for Git will allow us to more easily test the extensions, and also allow us to identify compatibility issues more easily and quicker.
cc @westbury @thegecko