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

Merge Bazel feature to devcontainers-community #5

Open
mering opened this issue Aug 22, 2023 · 4 comments
Open

Merge Bazel feature to devcontainers-community #5

mering opened this issue Aug 22, 2023 · 4 comments

Comments

@mering
Copy link

mering commented Aug 22, 2023

I recently created https://github.com/devcontainers-community/features-bazel. You can find more information about the devcontainers-community org in https://github.com/orgs/devcontainers-community/discussions/7.

Would you be interested to merge your efforts there and become a maintainer?

Happy to team up with you to provide an awesome Bazel feature for others.

@mering
Copy link
Author

mering commented Aug 22, 2023

@jcbhmr FYI

@mering
Copy link
Author

mering commented Aug 23, 2023

I tried to integrate your code into https://github.com/devcontainers-community/features-bazel (also check open PRs). Would be great to see you joining the effort there!

@Balazs23
Copy link
Owner

Hi @mering somehow I missed you messages, let me look after - thank you for the invite!

@mering
Copy link
Author

mering commented Oct 4, 2023

@Balazs23 did you have a chance to look at the code yet? Also did you make up your decision if you want to join the feature in the devcontainers-community org? Would you deprecate the extension in your private namespace in this case in order to avoid user confusion? Looking forward to your suggestions and ideas of improvements!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants