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

Feature: Replace Gitpod by Codespace #2702

Closed
hocinehacherouf opened this issue Dec 13, 2023 · 0 comments
Closed

Feature: Replace Gitpod by Codespace #2702

hocinehacherouf opened this issue Dec 13, 2023 · 0 comments
Assignees
@hocinehacherouf
Labels
enhancement New feature or request refinement
Milestone
v6.0

Comments

@hocinehacherouf
Copy link
Contributor

Is your feature request related to a problem? Please describe.

Gitpod is used docs/main branch as a cloud dev env to maintain Iot Hub Portal. This feature is onl on cloud and external to github.

Describe the solution you'd like

We can replace gitpod by Codespace:

  1. This tool is integrated to github and based on devcontainer.
  2. The configuration of Codespace can be used on a local dev env (VS Code) using devcontainer.
@hocinehacherouf hocinehacherouf added enhancement New feature or request refinement labels Dec 13, 2023
@hocinehacherouf hocinehacherouf self-assigned this Dec 13, 2023
@github-project-automation github-project-automation bot moved this to 📝 Todo in IoT Hub Portal Dec 13, 2023
hocinehacherouf added a commit that referenced this issue Dec 13, 2023
@hocinehacherouf
Feature: Replace Gitpod by Codespace #2702
f2ec9c9
@hocinehacherouf hocinehacherouf mentioned this issue Dec 13, 2023
Merged
9 tasks
kbeaugrand pushed a commit that referenced this issue Dec 16, 2023
@hocinehacherouf
Feature: Replace Gitpod by Codespace on docs/main branch (#2703)
ace4605 
* Delete gitpod config

* Update python dependencies

* Fix deprecated mkdocs configurations

* Feature: Replace Gitpod by Codespace #2702

* Update documentation

* Bump DavidAnson/markdownlint-cli2-action to v14
@kbeaugrand kbeaugrand moved this from 📝 Todo to 🚀 Ready in IoT Hub Portal Dec 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hocinehacherouf hocinehacherouf

Labels
enhancement New feature or request refinement
Projects
IoT Hub Portal
Status: 🚀 Ready
Milestone
v6.0
Development

No branches or pull requests
2 participants
@kbeaugrand @hocinehacherouf