thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-11-10 09:32:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Improve the cherry-pick PR description

Browse Source
This commit is contained in:
Mikhail f. Shiryaev 2023-11-23 19:28:58 +01:00
parent bbc577646f
commit 36d27d1713
No known key found for this signature in database
GPG Key ID: 4B02ED204C7D93F4
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/ci/cherry_pick.py
View File

@ -67,15 +67,17 @@ The check results does not matter at this step - you can safely ignore them.
### Note
This pull-request will be merged automatically as it reaches the mergeable state, \
**do not merge it manually**.
**do not merge it manually**. It's 100% safe, but completely meaningless.
### If the PR was closed and then reopened
If it stuck, check {pr_url} for `{backport_created_label}` and delete it if \
necessary. Manually merging will do nothing, since `{backport_created_label}` \
prevents the original PR {pr_url} from being processed.
If it stuck (e.g. for a day), check {pr_url} for `{backport_created_label}` *label* and \
delete it if necessary. Manually merging will do nothing, since \
`{backport_created_label}` *label* prevents the original PR {pr_url} from being \
processed.
If you want to recreate the PR: delete the `{label_cherrypick}` label and delete this branch.
If the cherry-pick PR is completely screwed, and you want to recreate it: delete the \
`{label_cherrypick}` label and delete this branch.
You may also need to delete the `{backport_created_label}` label from the original PR.
"""
BACKPORT_DESCRIPTION = """This pull-request is a last step of an automated \