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

Fix outdated references to use instead of instrument in docs #2236

Merged
merged 1 commit into from
Aug 22, 2022

Conversation

ivoanjo
Copy link
Member

@ivoanjo ivoanjo commented Aug 22, 2022

What does this PR do?:

This PR fixes the two leftover mentions of use in the docs that I found that should be replaced by instrument. I did not change the sinatra docs to avoid a conflict with #2217.

Motivation:

While reviewing #2217 where we fixed the sinatra documentation not to mention the outdated use, I decided to make a quick check if we had any more such leftovers, and it turns out we did.

How to test the change?:

Check that the documentation is actually correct now / build an example app and check that instrument correctly instruments it.

While reviewing #2217 where we fixed the sinatra documentation not to
mention the outdated `use`, I decided to make a quick check if we had
any more such leftovers, and it turns out we did.

This PR fixes the two leftover mentions of `use` that I found that
should be replaced by `instrument`. I did not change the sinatra docs
to avoid a conflict with #2217.
@ivoanjo ivoanjo requested a review from a team August 22, 2022 12:38
@ivoanjo
Copy link
Member Author

ivoanjo commented Aug 22, 2022

The failing tests seem to be related to the newly-released msgpack 1.5.5. I'll merge this PR and let's investigate that separately.

@ivoanjo ivoanjo merged commit 0e5c5a8 into master Aug 22, 2022
@ivoanjo ivoanjo deleted the ivoanjo/remove-outdated-references-to-use branch August 22, 2022 12:49
@github-actions github-actions bot added this to the 0.56.0 milestone Aug 22, 2022
@TonyCTHsu TonyCTHsu modified the milestones: 0.56.0, 1.4.0 Aug 25, 2022
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.

2 participants