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

Clean up example a little #89

Merged
merged 1 commit into from
Sep 15, 2021
Merged

Clean up example a little #89

merged 1 commit into from
Sep 15, 2021

Conversation

benjaminjkraft
Copy link
Collaborator

Summary:

I realized:

  • it's simpler to avoid the usual cmd and just put it all in the same
    directory
  • we don't need schema.json since GitHub now posts a schema in SDL
    format

Test plan:

make lint example

Copy link
Contributor

@dnerdy dnerdy left a comment

Choose a reason for hiding this comment

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

👍

I realized:
- it's simpler to avoid the usual `cmd` and just put it all in the same
  directory
- we don't need schema.json since GitHub now posts a schema in SDL
  format

Test plan: make lint example

Reviewers: marksandstrom, jvoll, adam, miguel, mahtab
Copy link
Member

@StevenACoffman StevenACoffman left a comment

Choose a reason for hiding this comment

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

Thanks!

@benjaminjkraft benjaminjkraft merged commit ce079a7 into main Sep 15, 2021
@benjaminjkraft benjaminjkraft deleted the benkraft.example branch September 15, 2021 17:48
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

Successfully merging this pull request may close these issues.

3 participants