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

support using task-file when need task-name (#220) #239

Merged
merged 8 commits into from
Aug 17, 2020

Commits on Aug 17, 2020

  1. cherry pick pingcap#220 to release-1.0

    Signed-off-by: ti-srebot <ti-srebot@pingcap.com>
    lance6716 authored and ti-srebot committed Aug 17, 2020
    Configuration menu
    Copy the full SHA
    ab048ad View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b14668e View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    af3a94a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    5b1cb38 View commit details
    Browse the repository at this point in the history
  5. Delete pause-task.md

    lance6716 authored Aug 17, 2020
    Configuration menu
    Copy the full SHA
    da189c0 View commit details
    Browse the repository at this point in the history
  6. Delete resume-task.md

    lance6716 authored Aug 17, 2020
    Configuration menu
    Copy the full SHA
    e028b62 View commit details
    Browse the repository at this point in the history
  7. Delete stop-task.md

    lance6716 authored Aug 17, 2020
    Configuration menu
    Copy the full SHA
    570c8ec View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    7b46368 View commit details
    Browse the repository at this point in the history