...
Theia also integrates a full-featured terminal that reconnects on browser reload, keeping the full history.
Any changes are automatically committed to a branch created for the session. This branch can be squashed and merged back to master at the end of the session, or a pull request can be created using Bitbucket. (See Git Integration.)
...