Merge requests · deadlock-public / deadlock-theia

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: 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
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
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
chores: change theia source and fix auto save

!6 · created Dec 07, 2021 by Alexandra
- Merged
updated Dec 07, 2021
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