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.

Sign up for GitHub

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

Jump to bottom

cdc, pkg: replace table ID with table name in metrics #695

Merged
merged 5 commits into from
Jun 29, 2020
Merged

cdc, pkg: replace table ID with table name in metrics #695

merged 5 commits into from
Jun 29, 2020

Commits on Jun 24, 2020

  1. cdc, pkg: replace table ID with table name in metrics 

    Signed-off-by: Neil Shen <overvenus@gmail.com>
    @overvenus
    overvenus committed Jun 24, 2020
    Configuration menu
    Copy the full SHA
    1ebbc59 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2020

  1. cherry-pick pingcap#692 bugfix 

    Signed-off-by: Neil Shen <overvenus@gmail.com>
    @overvenus
    overvenus committed Jun 28, 2020
    Configuration menu
    Copy the full SHA
    c5d6cd6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into metrics 

    Signed-off-by: Neil Shen <overvenus@gmail.com>
    @overvenus
    overvenus committed Jun 28, 2020
    Configuration menu
    Copy the full SHA
    f31eef3 View commit details
    Browse the repository at this point in the history

  3. address comments 

    Signed-off-by: Neil Shen <overvenus@gmail.com>
    @overvenus
    overvenus committed Jun 28, 2020
    Configuration menu
    Copy the full SHA
    264b6f0 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2020

  1. Merge branch 'master' into metrics

    leoppro authored Jun 29, 2020
    Configuration menu
    Copy the full SHA
    91940f9 View commit details
    Browse the repository at this point in the history