Code

fix scm history going out of sync#71

Code

Merged

erezmus merged 2 commits intorelease-1.29.0ARMmbed/theia:release-1.29.0from fix-git-out-of-syncARMmbed/theia:fix-git-out-of-syncCopy head branch name to clipboardJun 2, 2023

+15-5

Commits

Commits on Jun 1, 2023

• fix scm history going out of sync

  erezmus

  committed
  2544df5

  Copy full SHA for 2544df5

Commits on Jun 2, 2023

• use pop

  erezmus

  committed
  42bb0f7

  Copy full SHA for 42bb0f7