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

chore(governance): remove devcontainer in favour of gitpod.io #1411

Merged

Conversation

leandrodamascena
Copy link
Contributor

Issue number: #1410

Summary

Changes

Devcontainer support has been removed.

User experience

Before: Contributors could have been able to use a container to create their own development environment, but it wasn't actually working.

After: Contributors can use Gitpod as an easy and fast alternative to create a dev environment.

Checklist

If your change doesn't seem to apply, please leave them unchecked.

Is this a breaking change?

RFC issue number:

Checklist:

  • Migration process documented
  • Implement warnings (if it can live side by side)

Acknowledgment

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

Disclaimer: We value your time and bandwidth. As such, any pull requests created on non-triaged issues might not be successful.

@leandrodamascena leandrodamascena requested a review from a team as a code owner August 3, 2022 16:49
@leandrodamascena leandrodamascena requested review from rubenfonseca and removed request for a team August 3, 2022 16:49
@pull-request-size pull-request-size bot added the size/M Denotes a PR that changes 30-99 lines, ignoring generated files. label Aug 3, 2022
@github-actions github-actions bot added the internal Maintenance changes label Aug 3, 2022
@heitorlessa heitorlessa changed the title chore(governance): Remove support to devcontainer chore(governance): remove support to devcontainer in favour of gitpod.io Aug 4, 2022
@heitorlessa heitorlessa changed the title chore(governance): remove support to devcontainer in favour of gitpod.io chore(governance): remove devcontainer in favour of gitpod.io Aug 4, 2022
@heitorlessa heitorlessa merged commit 7fb396d into aws-powertools:develop Aug 4, 2022
@heitorlessa
Copy link
Contributor

thank you again @leandrodamascena truly appreciate the help!

@leandrodamascena leandrodamascena deleted the chore/dev-container branch August 4, 2022 09:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
internal Maintenance changes size/M Denotes a PR that changes 30-99 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants