Merge requests · deadlock-public / deadlock-theia · GitLab

feat: publish extension on marketplace with ci

!16 · created Apr 19, 2022 by Alexandra
- Closed
- 1
updated May 12, 2022
feat(Sprint1): add authentication + directory picking + redirection link

!15 · created Apr 13, 2022 by Alexandra
Review
- Merged
- 84
updated Apr 29, 2022
sprint 1

!14 · created Apr 13, 2022 by Alexandra Sprint 1 develop
- Merged
updated Apr 13, 2022
feat(extension): user can choose mission workdir

!13 · created Apr 11, 2022 by Alexandra feat-log-in
- Closed
updated Apr 13, 2022
feat: add uri handler

!12 · created Apr 11, 2022 by Alexandra Sprint 1 feat-log-in
Est. 13 Review User Story
- Merged
updated Apr 11, 2022
feat(extension): user can choose mission workdir

!11 · created Apr 08, 2022 by Alexandra
- Closed
- 13
updated Apr 14, 2022
En tant qu'étudiant, je souhaite pouvoir lancer une mission de type VSCode-desktop sur mon IDE local, afin d'accéder à des fonctionnalités et outils plus poussé

!10 · created Apr 04, 2022 by Alexandra Sprint 1
Est. 13 Review User Story
- Closed
updated Apr 19, 2022
new: env-metadatas

!9 · created Mar 10, 2022 by Alexandra
- Merged
- 30
updated Mar 29, 2022
feat: kube image

!8 · created Mar 09, 2022 by Alexandra
- Merged
updated Mar 09, 2022
Update host wildcard and remove java plugin

!7 · created Feb 24, 2022 by Alexandra
- Merged
updated Feb 24, 2022
chores: change theia source and fix auto save

!6 · created Dec 07, 2021 by Alexandra
- Merged
updated Dec 07, 2021
feat: users can have their own Git repo that will be persisted

!5 · created Jul 27, 2021 by Alexandra
- Merged
- 31
updated Feb 14, 2022
Feat theia professor

!4 · created Nov 25, 2020 by Alexandra
- Merged
updated Nov 25, 2020
Pull on start

!3 · created Nov 02, 2020 by Alexandra
- Merged
updated Nov 02, 2020
feat: git pull on startup, refactor user-challenge config

!2 · created Oct 12, 2020 by Alexandra
- Merged
updated Oct 12, 2020
help & briefing ok

!1 · created Jul 28, 2020 by Alexandra
- Merged
updated Jul 28, 2020