Skip to content
This repository has been archived by the owner on Nov 24, 2023. It is now read-only.

dep: sort GTID set for printing #1424

Merged
merged 5 commits into from
Feb 4, 2021
Merged

dep: sort GTID set for printing #1424

merged 5 commits into from
Feb 4, 2021

Conversation

zeminzhou
Copy link
Contributor

@zeminzhou zeminzhou commented Feb 3, 2021

What problem does this PR solve?

part of #1411
update go-mysql dependence, that can sort GTIDSet before displaying

What is changed and how it works?

update go-mysql dependence

Check List

Tests

  • Unit test

@zeminzhou
Copy link
Contributor Author

Which files need to call this function?

@lance6716 lance6716 added the needs-cherry-pick-release-2.0 This PR should be cherry-picked to release-2.0. Remove this label after cherry-picked to release-2.0 label Feb 3, 2021
@lance6716 lance6716 added this to the v2.0.2 milestone Feb 3, 2021
pkg/gtid/gtid_test.go Outdated Show resolved Hide resolved
@lance6716 lance6716 changed the title gtid: Add a function for sorting GTID set dep: sort GTID set for printing Feb 4, 2021
@lance6716 lance6716 merged commit 1acfc29 into pingcap:master Feb 4, 2021
ti-srebot pushed a commit to ti-srebot/dm that referenced this pull request Feb 4, 2021
@ti-srebot
Copy link

cherry pick to release-2.0 in PR #1427

@ti-srebot ti-srebot added already-cherry-pick-2.0 The related PR is already cherry-picked to release-2.0. Add this label once the PR is cherry-picked and removed needs-cherry-pick-release-2.0 This PR should be cherry-picked to release-2.0. Remove this label after cherry-picked to release-2.0 labels Feb 4, 2021
lance6716 pushed a commit that referenced this pull request Feb 5, 2021
@lance6716 lance6716 added the needs-update-release-note This PR should be added into release notes. Remove this label once the release notes are updated label Feb 5, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
already-cherry-pick-2.0 The related PR is already cherry-picked to release-2.0. Add this label once the PR is cherry-picked needs-update-release-note This PR should be added into release notes. Remove this label once the release notes are updated
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants