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

Initial GitHub Codespaces (AKA Dev Container) configuration (see #2481) #2482

Merged
merged 6 commits into from
Apr 17, 2024

Conversation

vorburger
Copy link
Member

see #2481

@jingtang10 & @santosh-pingle how about this?

Copy link
Collaborator

@jingtang10 jingtang10 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

whilst i think this is a great change, i think we need to document a little better in our codebase why we're using this and how. especially how other developers (and developers in our wider community) can benefit from this. @vorburger please feel free to merge this. but can you think about adding a bit more documentation either in here or as an immediate follow-up? thanks :)

@vorburger vorburger force-pushed the vorburger-codespaces branch from d045670 to 6877caf Compare April 17, 2024 12:14
@vorburger
Copy link
Member Author

whilst i think this is a great change, i think we need to document a little better in our codebase why we're using this and how. especially how other developers (and developers in our wider community) can benefit from this. @vorburger please feel free to merge this. but can you think about adding a bit more documentation either in here or as an immediate follow-up? thanks :)

ACK, done in new commit 6877caf (still in this PR); I'll merge this now.

@vorburger vorburger enabled auto-merge (squash) April 17, 2024 12:19
@vorburger vorburger merged commit 6ff0643 into master Apr 17, 2024
4 checks passed
@vorburger vorburger deleted the vorburger-codespaces branch April 17, 2024 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Complete
Development

Successfully merging this pull request may close these issues.

2 participants