Skip to content

Fix docs to reflect change in metrics#1547

Merged
GuptaManan100 merged 1 commit intovitessio:prodfrom
planetscale:fix-errant-gtid-map
Aug 2, 2023
Merged

Fix docs to reflect change in metrics#1547
GuptaManan100 merged 1 commit intovitessio:prodfrom
planetscale:fix-errant-gtid-map

Conversation

@GuptaManan100
Copy link
Contributor

Description

This PR fixes the docs for the changes done in vitessio/vitess#13670

Signed-off-by: Manan Gupta <manan@planetscale.com>
@netlify
Copy link

netlify bot commented Jul 31, 2023

Deploy Preview for vitess ready!

Name Link
🔨 Latest commit 408b65a
🔍 Latest deploy log https://app.netlify.com/sites/vitess/deploys/64c79e0eb0324e0008728f87
😎 Deploy Preview https://deploy-preview-1547--vitess.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

Copy link
Collaborator

@deepthi deepthi left a comment

Choose a reason for hiding this comment

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

Looks good, but should be merged only after the code PR has been merged.

@GuptaManan100 GuptaManan100 merged commit 50d98e7 into vitessio:prod Aug 2, 2023
@GuptaManan100 GuptaManan100 deleted the fix-errant-gtid-map branch August 2, 2023 06:10
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