Skip to content

Conversation

@BurdetteLamar
Copy link
Member

No description provided.

@BurdetteLamar BurdetteLamar added the documentation Improvements or additions to documentation label Jan 28, 2023
Copy link
Member

@peterzhu2118 peterzhu2118 left a comment

Choose a reason for hiding this comment

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

I'm not sure what the purpose of this PR is. Why do we need a path for the URI?

@BurdetteLamar
Copy link
Member Author

I'm not sure what the purpose of this PR is. Why do we need a path for the URI?

It will be needed for some changes to either header.rb or http.rb (I forget which). I'll be replacing some schema-like examples with actual executable code, which will require a path. I just put this up first b/c it's small and simple.

@peterzhu2118
Copy link
Member

I would prefer to have all the changes in a single PR so that I can see the motivation of this change. I can't see the benefits of this change so it's hard for me to give a meaningful review.

@BurdetteLamar
Copy link
Member Author

Will be rolled into a future PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants