theia: record studio-web/theia as the IDE image source, repoint the default - #8
Closed
NRGGIT wants to merge 1 commit into
Closed
theia: record studio-web/theia as the IDE image source, repoint the default#8NRGGIT wants to merge 1 commit into
NRGGIT wants to merge 1 commit into
DCO-2 / DCO
succeeded
Aug 14, 2026 in 0s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | 282d5ac | docs(theia): record studio-web/theia as the image ... | Valid sign-off found |
Loading