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

plugin-metrics: fix typos #8560

Merged
merged 1 commit into from
Oct 1, 2020
Merged

plugin-metrics: fix typos #8560

merged 1 commit into from
Oct 1, 2020

Conversation

vince-fugnitto
Copy link
Member

What it does

The following commit fixes misc typos found in the @theia/plugin-metrics extension,
and includes the following breaking change:

  • renamed AnalyticsFromRequests.succesfulResponses to AnalyticsFromRequests.successfulResponses.

How to test

The CI should be green (build and test of @theia/plugin-metrics).

Review checklist

Reminder for reviewers

Signed-off-by: vince-fugnitto vincent.fugnitto@ericsson.com

@vince-fugnitto vince-fugnitto added quality issues related to code and application quality documentation issues related to documentation labels Sep 24, 2020
@vince-fugnitto vince-fugnitto self-assigned this Sep 24, 2020
@vince-fugnitto
Copy link
Member Author

cc @benoitf I hope this change does not impact Che too much, I thought I'd create a pull-request solely for the @theia/plugin-metrics extension.

@benoitf
Copy link
Contributor

benoitf commented Sep 25, 2020

thanks @vince-fugnitto
AFAIk it looks fine 👍

@benoitf
Copy link
Contributor

benoitf commented Sep 25, 2020

I've restarted macos travis job

The following commit fixes misc typos found in the `@theia/plugin-metrics` extension,
and includes the following breaking change:
- renamed `AnalyticsFromRequests.succesfulResponses` to `AnalyticsFromRequests.successfulResponses`.

Signed-off-by: vince-fugnitto <vincent.fugnitto@ericsson.com>
@vince-fugnitto vince-fugnitto merged commit 137840a into master Oct 1, 2020
@vince-fugnitto vince-fugnitto deleted the vf/plugin-metrics-typos branch October 1, 2020 22:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation issues related to documentation quality issues related to code and application quality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants