Skip to content

update tidb v4.0.12 release notes (#5090)#5195

Merged
ti-chi-bot merged 2 commits into
pingcap:release-4.0from
ti-srebot:release-4.0-5f44496115a9
Apr 2, 2021
Merged

update tidb v4.0.12 release notes (#5090)#5195
ti-chi-bot merged 2 commits into
pingcap:release-4.0from
ti-srebot:release-4.0-5f44496115a9

Conversation

@ti-srebot
Copy link
Copy Markdown
Contributor

@ti-srebot ti-srebot commented Apr 2, 2021

cherry-pick #5090 to release-4.0
You can switch your code base to this Pull Request by using git-extras:

# In docs repo:
git pr https://github.com/pingcap/docs/pull/5195

After apply modifications, you can push your change to this PR via:

git push git@github.com:ti-srebot/docs.git pr/5195:release-4.0-5f44496115a9

update tidb v4.0.12 release notes

Signed-off-by: ti-srebot <ti-srebot@pingcap.com>
@ti-srebot ti-srebot added do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. size/L Denotes a PR that changes 100-499 lines, ignoring generated files. status/PTAL This PR is ready for reviewing. type/cherry-pick-for-release-4.0 This PR is cherry-picked to release-4.0 from a source PR. labels Apr 2, 2021
@ti-srebot ti-srebot self-assigned this Apr 2, 2021
@ti-srebot
Copy link
Copy Markdown
Contributor Author

@ti-srebot you're already a collaborator in bot's repo.

@TomShawn TomShawn mentioned this pull request Apr 2, 2021
11 tasks
Comment thread releases/release-4.0.12.md
Comment thread releases/release-4.0.12.md
@TomShawn
Copy link
Copy Markdown
Contributor

TomShawn commented Apr 2, 2021

/unhold
/lgtm

@ti-chi-bot ti-chi-bot removed the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Apr 2, 2021
@ti-chi-bot
Copy link
Copy Markdown
Member

[REVIEW NOTIFICATION]

This pull request has been approved by:

  • TomShawn

To complete the pull request process, please ask the reviewers in the list to review by filling /cc @reviewer in the comment.
After your PR has acquired the required number of LGTMs, you can assign this pull request to the committer in the list by filling /assign @committer in the comment to help you merge this pull request.

The full list of commands accepted by this bot can be found here.

Details

Reviewer can indicate their review by writing /lgtm in a comment.
Reviewer can cancel approval by writing /lgtm cancel in a comment.

@ti-chi-bot ti-chi-bot added the status/LGT1 Indicates that a PR has LGTM 1. label Apr 2, 2021
@TomShawn
Copy link
Copy Markdown
Contributor

TomShawn commented Apr 2, 2021

/hold

@ti-chi-bot ti-chi-bot added the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Apr 2, 2021
@TomShawn
Copy link
Copy Markdown
Contributor

TomShawn commented Apr 2, 2021

/unhold

@ti-chi-bot ti-chi-bot removed the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Apr 2, 2021
@TomShawn
Copy link
Copy Markdown
Contributor

TomShawn commented Apr 2, 2021

/merge

@ti-chi-bot
Copy link
Copy Markdown
Member

This pull request has been accepted and is ready to merge.

DetailsCommit hash: 40007fb

@ti-chi-bot ti-chi-bot added the status/can-merge Indicates a PR has been approved by a committer. label Apr 2, 2021
@ti-chi-bot ti-chi-bot merged commit 2f8321e into pingcap:release-4.0 Apr 2, 2021
@TomShawn TomShawn deleted the release-4.0-5f44496115a9 branch April 2, 2021 14:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size/L Denotes a PR that changes 100-499 lines, ignoring generated files. status/can-merge Indicates a PR has been approved by a committer. status/LGT1 Indicates that a PR has LGTM 1. status/PTAL This PR is ready for reviewing. type/cherry-pick-for-release-4.0 This PR is cherry-picked to release-4.0 from a source PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants