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.

Sign up for GitHub

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

Jump to bottom

Refactor Theia.cloud to Theia Cloud in code #146

Open
sgraband opened this issue Feb 28, 2023 · 6 comments
Open

Refactor Theia.cloud to Theia Cloud in code #146

sgraband opened this issue Feb 28, 2023 · 6 comments
Assignees
@jfaltermeier
Labels
enhancement New feature or request prio-high

Comments

@sgraband
Copy link
Contributor

Currently we still have a lot of Theia.Cloud strings and comments in the code base.
@sgraband sgraband mentioned this issue Feb 28, 2023
Merged
@github-actions

This comment was marked as outdated.

Sign in to view
@github-actions github-actions bot added the stale label May 29, 2023
@jfaltermeier

This comment was marked as outdated.

Sign in to view
@github-actions github-actions bot removed the stale label May 30, 2023
@github-actions GitHub Actions
Copy link

This issue is stale because it has been open for 180 days with no activity.

@github-actions github-actions bot added the stale label Nov 26, 2023
@jfaltermeier
Copy link
Contributor

Keep open

@github-actions github-actions bot removed the stale label Nov 27, 2023
@github-actions GitHub Actions
Copy link

This issue is stale because it has been open for 180 days with no activity.

@github-actions github-actions bot added the stale label May 26, 2024
@lucas-koehler
Copy link
Contributor

Many instances of this were adapted with #303 but I believe there are still some left.

@github-actions github-actions bot removed the stale label May 28, 2024
@jfaltermeier jfaltermeier added enhancement New feature or request prio-high labels Oct 28, 2024
@jfaltermeier jfaltermeier self-assigned this Oct 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jfaltermeier jfaltermeier

Labels
enhancement New feature or request prio-high
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@jfaltermeier @lucas-koehler @sgraband