Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Can not open workspaces with Theia editor #4672

Closed
victormgomezp opened this issue Jul 1, 2021 · 5 comments
Closed

Can not open workspaces with Theia editor #4672

victormgomezp opened this issue Jul 1, 2021 · 5 comments
Labels
editor: theia type: bug Something isn't working

Comments

@victormgomezp
Copy link

Bug description

Is not possible to open the workspaces, this is one project that we always open https://gitpod.io#https://github.com/breatheco-de/exercise-postcard.git

HTTP ERROR 401

Steps to reproduce

clic here

https://gitpod.io#https://github.com/breatheco-de/exercise-postcard.git

Expected behavior

Open in gitpod

Example repository

No response

Anything else?

No response

@gtsiolis gtsiolis added the meta: 🤔 reporter-feedback-needed cannot process further since we need more info from the reporter label Jul 1, 2021
@gtsiolis
Copy link
Contributor

gtsiolis commented Jul 1, 2021

Hey @victormgomezp, I was able to open a new workspace for this repository. Are you still seeing this? 👀

@victormgomezp
Copy link
Author

victormgomezp commented Jul 1, 2021 via email

@alesanchezr
Copy link

alesanchezr commented Jul 1, 2021

The problem is when using Theia.
We are having 401 and 502 when I trying to open the workspaces using Theia.

I know the editor will be deprecated by august but we are still running our school on Theia because our exercise engine was built on top of it and we have not finished the migration @svenefftinge @gtsiolis . We are focusing on building this vsplugin and we expect to have it ready by august but we are no there yet.

@gtsiolis
Copy link
Contributor

gtsiolis commented Jul 1, 2021

Oh, thanks for clarifying, @alesanchezr! I can reproduce this with Theia. Let me escalate this internally. 🏓

@gtsiolis gtsiolis added editor: theia type: bug Something isn't working and removed meta: 🤔 reporter-feedback-needed cannot process further since we need more info from the reporter labels Jul 1, 2021
@gtsiolis gtsiolis changed the title Is impossible to open the workspaces Is impossible to open the workspaces with Theia editor Jul 1, 2021
@gtsiolis gtsiolis changed the title Is impossible to open the workspaces with Theia editor Can not open workspaces with Theia editor Jul 1, 2021
@akosyakov
Copy link
Member

It should work now, sorry for inconvenience. Please open new issue if not.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editor: theia type: bug Something isn't working
Projects
None yet
Development

No branches or pull requests

4 participants