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

Add Earthfile extension #807

Merged
merged 3 commits into from
May 30, 2024
Merged

Conversation

glehmann
Copy link
Contributor

No description provided.

Copy link

cla-bot bot commented May 29, 2024

We require contributors to sign our Contributor License Agreement, and we don't have @glehmann on file. You can sign our CLA at https://zed.dev/cla. Once you've signed, post a comment here that says '@cla-bot check'.

@glehmann
Copy link
Contributor Author

@cla-bot check

Copy link

cla-bot bot commented May 29, 2024

The cla-bot has been summoned, and re-checked this pull request!

@cla-bot cla-bot bot added the cla-signed label May 29, 2024
@maxdeviant maxdeviant changed the title add earthfile extension Add Earthfile extension May 29, 2024
Copy link
Member

@maxdeviant maxdeviant left a comment

Choose a reason for hiding this comment

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

Thank you!

@maxdeviant maxdeviant merged commit 97b0c96 into zed-industries:main May 30, 2024
2 checks passed
adorabilis pushed a commit to adorabilis/zed-extensions that referenced this pull request Aug 17, 2024
Co-authored-by: Marshall Bowers <elliott.codes@gmail.com>
@koozz koozz mentioned this pull request Aug 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants